Senior SysAdmin, Network Admin, Data Analyst, and Software Engineer living in your terminal. A high-precision local AI agent harness for LM Studio, Ollama, and other local OpenAI-compatible runtimes that runs 100% on your own silicon. Reads repos, edits files, runs builds, inspects full network state and workstation telemetry, and runs real Python/JS for data analysis.
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.
refcounted pointer type that allows subobject pointers
Team dotfile sync engine
Type-safe REST client using the OpenAPI Specification
Type-safe REST client using the OpenAPI Specification
A non-blocking IO and easy-to-use Rust crate for constructing simple distributed preject. The crate contains several building blocks that can be use to construct a distributed system program.
Traits and types helping with using uninitialized memory safely.
Wrapper of tokio-postgres for executing SQL more safer out of user jurisdiction.
Zerocopy makes zero-cost memory manipulation effortless. We write "unsafe" so you don't have to.
APIs to manage, compute and verify zkSNARK proofs and RLN primitives
Wrapper around socket functionality to make using devices safer and easier