Releases

Generic types implementing functionality of arrays

C FFI for enprot — shared library (libenprot) for Python, Node.js, Go, Ruby bindings

A database abstraction layer

Fast Rust scanner for licenses, copyrights, package metadata, SBOMs, and provenance data.

High-performance, generic, ISA-portable SIMD library with a policy-configurable transcendental math library

Generic SIMD complex numbers built on Thermite

Forward-mode automatic differentiation (multidual numbers) built on Thermite

Extended special functions for the Thermite SIMD library

Double-double compensated arithmetic built on Thermite

Procedural codegen macros for the Thermite SIMD library (use via the thermite crate)

A file-system-routed web framework for Rust: pages, layouts and server functions, rendered on the server.

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

Interactive Motion Primitives & Flight Surface

Create and maintain Rahti projects: cargo rahti new, cargo rahti upgrade.

Self-contained LaTeX to PDF compiler CLI

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

Build step for the Rahti web framework: scans the app directory, writes the router, and compiles the stylesheet.

Procedural macros for the Rahti web framework. Not used directly — re-exported by the `rahti` crate.

Rust helpers for issuing C2PA signatures via Azure Trusted Signing.

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

Shared proof/setup contexts, traces, and STARK metadata types for the PIL2 proofman framework

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

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.

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

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

Drivers, nix eval, cluster logic, P2P, and scheduling engine for tatara

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

Shared domain types, config, and cluster types for tatara

A Slimy tweener library for Godot(4.4+), inspired on the design of DoTween.