A type-safe hash-cons library.
Hash cons'ing for compact representations of shared, immutable data structures
mazoweb
Binary that integrates XLS capabilities into a driver program
Testing and performance evaluation suite for Adapton
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.
Fast and simple hash consing
CLI para crear proyectos rápidamente (Express, Rust, Python, Angular, Vue, React)
A Rust library for interacting with the Kairos Api Gateway
Database abstraction layer for Holochain using sqlx
Set interface, allowing stack-only implementations
Gestor de secretos moderno escrito en Rust puro, compatible con SOPS/Age para encriptación de secretos y sincronización automática con Git.
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.