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.
FabCode sets out to build GUI based workflow engine that will help speed up development.
A multithreaded, feature-rich ray tracer
Windows API signature metadata
Rust crate for manual tracing to LangSmith, providing similar ergonomics to the Python and TypeScript SDKs
A type-safe framework for AWS AppSync Direct Lambda resolvers
bitmap_type_trace is a utility tool to generate images from font bitmaps with customizable configurations
CPU path tracer written in Rust
A keyboard-driven TUI lens into Apache NiFi 2.x. Browse flows, trace flowfiles, tail bulletins, and debug across clusters and versions.
Plugin trait definitions and shared types for bext — the public ABI for plugin authors
Fast Neovim plugin manager with pre-compiled loader and merge optimization
Load/save functionality for 3d applications.