A simple process manager for proc.toml/Procfile projects with colored log following, daemon mode, and one-off task runner (including composite tasks).
HTN parser and planner
State machines in the procedural style
Neuro-Symbolic Reasoning (NSR) framework for hybrid AI systems combining neural networks with symbolic logic
LLM serving runtime with Ruvector integration - Paged attention, KV cache, and SONA learning
A high-performance, type-safe framework for building multi-agent workflow systems in Rust
AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.
Pure-Rust AV1 codec — orphan-rebuild scaffold pending clean-room re-implementation.
Binary that integrates XLS capabilities into a driver program
A workflow runner engine
Drop-in instrumented replacements for `tokio::sync` primitives that automatically detect potential deadlocks at runtime.
Renamed to sapphire-journal / sapphire-journal-core. Markdown-based task and note manager that keeps your data alive as plain text - timeless like fossils
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.