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.
Pure-Rust implementation of the NNG Scalability Protocols
Local-first MCP server bridging Claude to Things 3 on macOS — 29 tools for read, search, write, and tag CRUD.
Routing macros for Chitey
Centralized authentication and authorization API for multiple independent services. Manages users, roles, permissions, and service associations.
Control-chain service and tooling for Greentic workflows.
a rust-analyzer client
Progressive microservices framework for Rust, based on and compatible with moleculerjs/moleculer
Static website publishing with content-based deduplication
Lobana Abstract Computers
Framework-agnostic Authentication Kernel for Rust
Platform-agnostic core logic for Ethernet POWERLINK Rust implementation.
Defines Object#respond_to_missing? and patches Object#respond_to? unless this functionality has already been implemented (ruby versions 1.9+)
Provides a decorator class you can wrap objects in (even classes!) to keep method_missing and respond_to_missing? in sync. Requires Ruby 1.9 or later; see README for details.
Facilitates method_missing, respond_to_missing?, and method-generation activities