simple rust website blocker cli for linux systems
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 for codefold — structural code reader for LLM agents.
Structural code reader for LLM agents — `Read`, with zoom levels. Python, TypeScript, Rust, Go.
Pure-Rust AV1 codec — orphan-rebuild scaffold pending clean-room re-implementation.
A fast and simple TUI-based code snippet manager.
A highly parallel Perl 5 interpreter written in Rust
A fast, cross-platform CLI for jumping between, opening, and managing your dev repos
Experimental Rust implementation of the Millrace runtime.
Database migration engine for Nautilus ORM
Aptos indexer for ChainIndex — block tracking, Move event parsing, and resource monitoring
Bitcoin indexer for ChainIndex — UTXO tracking, block parsing, and address monitoring