A lightweight library for parsing command-line arguments in Rust with no external dependencies.
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.
A native Rust implementation of the glibc/libc/windows syslog client and windows native log for logging.
A modular Rust crate for running AI tournament
Rust implementation of LevelDB's Env abstraction for the bitcoinleveldb port, providing environment traits, delegating wrappers, file utilities, and logging helpers closely matching the original C++ API.
Stream transform tools plugin for the Lava language
MICRO-1 micro assembler written in Rust
MICRO-1 assembler written in Rust
A collection of utilities for working with Node.js projects from Rust applications
Run your Rust code without setting up Cargo
command line flag and option parse utilities
A persistent storage engine for Multi-Raft logs
No description provided.
No description provided.