Releases

Sora Rust SDK

Guest runtime orchestrator — 'hospedeiro' = 'host' in Portuguese. Polymorphic supervisor dispatching GuestSpec → HVF/VZ/WASM backends. Phase H.6.

Hot/cold tiered store for metering time series — PostgreSQL for the recent window, Apache Iceberg for history.

Typed VM definitions — Darwin-hosted Linux guests for tatara-os, authored in tatara-lisp, emitted as vfkit/qemu config

Arena-enclosed Lisp virtual environments — bumpalo-backed, sealable, serializable compilers you can author in Lisp and deploy as typed artifacts

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

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

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

Linear algebra traced APIs, eager helpers, extension runtime, and optional AD rules for tenferro.

Subscripts, contraction planning, concrete/traced/eager einsum APIs, extension runtime, and AD rule for tenferro.

FFT extension runtime and public concrete/traced FFT APIs for tenferro.

Eager runtime, eager tensors, and traced AD extension traits for tenferro.

CubeCL-backed CUDA and WebGPU provider backends for tenferro tensors.

CPU backend, kernels, provider selection, and CPU resource pools for tenferro.

Rust bindings for Barretenberg, a C++ cryptographic library for zero-knowledge proofs

Rust bindings for Barretenberg, a C++ cryptographic library for zero-knowledge proofs

Identity providers (OIDC, Apple Sign In, passkey, email magic-link, password, LAN-pair) and native credential stores built on cheers-core.

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

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

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

Detachable Windows console sessions that outlive the terminal

Rust implementation of TEE Client API for secure communication with Trusted Applications.

Apache Arrow compute on Apple silicon GPUs, for arrow-rs

Raw FFI declarations for libArrowMetalC, ArrowMetal's C ABI (include/arrowmetal.h)

c ffi bindings for tailscale-rs

Guest runtime orchestrator — 'hospedeiro' = 'host' in Portuguese. Polymorphic supervisor dispatching GuestSpec → HVF/VZ/WASM backends. Phase H.6.

Typed VM definitions — Darwin-hosted Linux guests for tatara-os, authored in tatara-lisp, emitted as vfkit/qemu config

Arena-enclosed Lisp virtual environments — bumpalo-backed, sealable, serializable compilers you can author in Lisp and deploy as typed artifacts

Bao unified library — SpiderMonkey + servo + Node/Bun API + CDP + Stealth (always-on full stack)