A secure, high-performance messaging protocol library
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.
CLI to run checks before installing or using Edera
2048 written in rust
FabCode sets out to build GUI based workflow engine that will help speed up development.
Extremely lightweight Docker alternative for agents and production services — isolated execution using cgroups, namespaces, seccomp, Landlock, and gVisor
MCP tool transport for reqwest — newtype wrappers, plugin registry, and contract-verified HTTP workflows
Type-safe protocol description language — compiler, verifier, and LSP
rust native goroutines
TLA+ code generation backend for wirespec state machines
An open-source Rust implementation of the Open GoPro Interface Specification.
A crash-safe write-ahead log library with multi-segment rotation and configurable durability.