A test project to check how does Cargo really works
Karry Charo's Art
this is a rust project for test
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.
RadixOx — Redis-compatible in-memory key-value store
A lightweight blazingly fast file watcher
simple cli utility for checking domain and username availability
RTSP and RTP protocols and OpenH264 decoding for video streaming
Show everyone the art hidden inside your code AGAIN.
Detect and fix unused/misplaced dependencies from Cargo.toml
A terminal music player for Subsonic-compatible servers
Audioscrobbler / Last.fm scrobbling for ratune