Releases

A no_std collection of compression algorithms behind a uniform streaming trait, gated per-algorithm by Cargo features.

Tools for minor planets researchers: observation scheduling and planning

Z3 SMT translation validation for the Synth compiler

Ordinary CLI

Project manipulation tool for Ordinary

A robust TPTP parser for Rust using winnow

coreutils ~ GNU coreutils (updated); implemented as universal (cross-platform) utils, written in Rust

Ordinary CLI

Project manipulation tool for Ordinary

API server for Ordinary

Project manipulation tool for Ordinary

OmniPaxos-backed ConsensusDriver for tsoracle

Reusable OmniPaxos glue: RocksDB storage, lifecycle helpers, test fakes

Z3 SMT translation validation for the Synth compiler

A transactional relational-graph-vector database using Datalog — a maintained fork of CozoDB, tuned as a substrate for agentic memory

Reusable TUI primitives and session API for VT Code-style terminal interfaces

Shared theme registry and runtime state for VT Code UI crates

Lazy artifact downloader with local caching

Lazy artifact downloader with local caching

Lazy artifact downloader with local caching

Lazy artifact downloader with local caching

REST API server for Fortress secure database system

A transactional relational-graph-vector database using Datalog — a maintained fork of CozoDB, tuned as a substrate for agentic memory

Tangle Blueprint manager and Runner

Reusable Rust bindings for the Siderust Archive: manifests, checksums, provenance, and runtime download of scientific datasets (IERS time data, kernels, planetary theories).

An event-driven Rust engine for building and evaluating quantitative trading agents. Features a Gym-style API for algorithmic backtesting and reinforcement learning.

Reusable Rust bindings for the Siderust Archive: manifests, checksums, provenance, and runtime download of scientific datasets (IERS time data, kernels, planetary theories).

OmniPaxos-backed ConsensusDriver for tsoracle

Reusable OmniPaxos glue: RocksDB storage, lifecycle helpers, test fakes

Reusable openraft glue: TypeConfig macro, RocksDB log store, lifecycle helpers