Docs.rs

Provider-neutral report validation and comparison for micromeasure

Microbenchmark harness for tiny operations and PMU-aware measurement

tatara IS PID 1 — typed service supervisor authored in tatara-lisp. Drop-in replacement for systemd/s6/openrc inside a tatara-os Linux guest.

Package set abstraction + nixpkgs bridge + tend-driven tatara-lisp mirror — the tatara equivalent of nixpkgs

NixOS-equivalent — typed SystemConfig deriving TataraDomain, activation synthesizer, Linux-kernel + bootloader + services + users + filesystems, composed via tatara-nix module fixpoint

Optimized in-memory Lisp interpreter for tatara — evaluates Sexp to Value, produces typed Derivations, composes with tatara-nix realizers

Type-safe reactive persistence for Rust GUI apps

Lattice algebra over tatara classification — meet/join/leq, replaces qualities_match

Nix's academic essence, re-expressed in Rust + Lisp. Derivation, StorePath, Module, Overlay, Flake — all typed, all Lisp-authorable via #[derive(TataraDomain)], all attestable via BLAKE3.

Process CRD — K8s clusters, workloads, migrations, tests as Unix processes in the tatara convergence lattice

Command-line interface for Godlint.

Core contracts for Godlint.

Nord-themed CLI UX for the tatara toolchain — typed palette + sigils + UiEvent stream + cache-aware renderer, all content-addressable as tatara-nix Derivations

Typed domains authored as Lisp via #[derive(TataraDomain)] — reference examples + registry seed

Cross-platform networking plane for tatara cluster fabric — eBPF + WASI + WireGuard