Model Checker encoding threshold automaton and a property into a single SMT query. This model checker is part of the TACO toolsuite.
A crate defining the SMT encodings of threshold automata components into SMT. This crate is part of the TACO toolsuite.
AXON v1.5.1 — first crates.io publication of the AXON language full-stack runtime. Lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the native Rust runtime: typed channels (TypedEventBus with QoS×5, π-calculus mobility, capability extrusion via shield D8 — Fase 13.f.2), Free Monad CPS handlers (Fase 2), lease kernel + reconcile loop (Fase 3+5), Epistemic Security Kernel (ESK Fase 6), Trust Types + ReplayLog (Fase 11.a+11.c), Stateful PEM over WebSocket (Fase 11.d), Ontological Tool Synthesis (Fase 11.e), Mobile Typed Channels (Fase 13). Crate publishes as `axon-lang` to mirror the Python PyPI package; library import remains `use axon::*` so existing call sites keep working unchanged.
rustgym solutions
Ultra-fast embedded Write-Ahead Log. Zero dependencies.
A secure, high-performance messaging protocol library
Unified TUI search over local coding agent histories
Model Checker constructing an abstract counter system encoded into BDDs to verify threshold automata. This model checker is part of the TACO toolsuite.
Pure-Rust H.266 / VVC (ITU-T H.266 | ISO/IEC 23090-3) bitstream parser + decoder scaffold for oxideav
Phase-typed bounded model checker with compile-time depth tracking, built on warp-types-sat
A Rust Backgammon library
Unicode identifier (UAX #31) checker using a deduplicated trie with run-length encoded leaves.