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.
The autonomous, self-improving AI agent. Single Rust binary. Every channel. Install with: cargo install opencrabs
A highly parallel Perl 5 interpreter written in Rust
A no_std Rust library for the universal serialization and verification of VTXOs.
A parser and interpreter for MotoGarage DSL, a language for managing motorcycle collections.
A tool for dumping codebase information for LLMs efficiently and effectively
DROIDSAW Android APK static analysis library. Parses containers, AndroidManifest, signing blocks (v1–v4), ELF native libs, and DEX headers.
Extend tokio fs to be compatible with native and wasm
Fast multi-ecosystem dependency updater: package.json, Cargo.toml, pyproject.toml in a single CLI (like npm-check-updates for every language)
Shared traits and types for dependency-check-updates (ManifestHandler, RegistryClient, Scanner)
GitHub Actions workflow support for dependency-check-updates
Node.js ecosystem support for dependency-check-updates: package.json parsing, npm registry, version resolution