A hybrid cache server with indexing.
Contains all the generated types for chromiumoxide
Contains a chromium and chrome for testing fetcher
Contains a PDL parser and rust generator
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.
AI/Human task management system with file-based storage
High-performance NNTP proxy server with connection pooling and authentication
SIFS Is Fast Search: instant local code search for agents
FiLeLuYa — Secure, encrypted reactive filesystem with hybrid post-quantum cryptography
Tauri-based GUI for FileLuYa encrypted filesystem
Hybrid post-quantum cryptography for KeyLeLuYa
Filesystem lattice types for KeyLeLuYa, extending propagators-chirho
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.