Relativistic physics using geometric algebra for charged particle simulations
Measure-theoretic foundations for geometric algebra - integration, probability measures, and analysis on multivector spaces
The autonomous, self-improving AI agent. Single Rust binary. Every channel. Install with: cargo install opencrabs
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.
Phantom-tagged typed quantities (Position, Velocity, ...) for orbital dynamics
Define your own PhantomData
Agent-shape testing harness. Runs runtime-in-the-loop task batteries against a tool's CLI to measure first-try command success, tokens, turns, and invented-command count. TOML-driven, LLM-as-judge scored.
Functional analysis on multivector spaces - Hilbert spaces, linear operators, and spectral theory
Ergonomic utilities for the Rust newtype idiom.
Continuous audio transcription and dictation tool with speaker identification, GPU acceleration, and AI assistant integration
Created with Anchor
Extract and decrypt MetaMask and Phantom wallet vaults from browser extension storage