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.
Type system, type inference, and type representations for BHC
A dataflow language for UIs and network programming, standard library
JIT Compiler + Advanced Debugging Tools - Cranelift-based JIT with mixed-mode execution, eBPF syscall tracing, statistical profiling, 10 quality tools, automated bug detection, 95%+ detection rate, 750+ tests - EXTREME TDD, research infrastructure for paiml/ruchy compiler
Generated FHIR types from hl7.fhir.r4.core package version 4.0.1
PFCL Type Checker — Hindley-Milner inference using catalog signatures as the type environment
A sum-type macro crate with all the conversions, accessors, and support for abstract methods across variants, and interoperability between sum-types
Django-style database layer for Reinhardt framework
Easy to use library for node editor types, generics, inference and validation
The helios-fhir crate is the comprehensive FHIR (Fast Healthcare Interoperability Resources) specification model implementation that contains strongly-typed Rust representations of all FHIR data types, and resourcess for each supported version of the FHIR specification.
stigmergy provides emergent agent behavior
PLONKish bridge to sumcheck proving (built on proof-cat-core)