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.
Lisp interpreter in Rust
Skillet: micro expression language (arithmetic, logical, functions, arrays, conditionals, excel formulas) made in Rust bin cli and server
Compiler and runtime for Juglans Workflow Language
Overly-documented Rust-powered Lambda Calculus Interpreter.
macros to define Haskell style monadic action blocks for IntoIterators, Reader, Writer, State, and macros for the transformers ReaderT and WriterT over Vec, LinkedList and VecDeque
A memory-safe interior point optimizer in Rust
Library to make Rust as a functional programming language.
Jack-of-All Configuration Language - A general-purpose configuration language with powerful built-in functions
Core replay engine, types, and operation logic for AWS Lambda durable execution in Rust
The world's first multi-agent shell with typed functional pipelines and multi-modal AI
Composable agentic framework on top of atomr actors and atomr-infer.