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.
Senior SysAdmin, Network Admin, Data Analyst, and Software Engineer living in your terminal. A high-precision local AI agent harness for LM Studio, Ollama, and other local OpenAI-compatible runtimes that runs 100% on your own silicon. Reads repos, edits files, runs builds, inspects full network state and workstation telemetry, and runs real Python/JS for data analysis.
A highly parallel Perl 5 interpreter written in Rust
Provides lightning-fast graph data access to ArangoDB
Neuroscience-grounded memory system for AI agents. ACT-R activation, Hebbian learning, Ebbinghaus forgetting, cognitive consolidation.
The "don't touch my garbage" git client
A novel web-of-trust algorithm for trust calculation.
An embedded and distributed Gremlin-compatible graph database.
A platform agnostic easy-to-use library for implementing and visualizing control flow graphs.
A tool for effective polyglot, multi-project monorepo development.
A LangGraph-style agentic orchestration framework in Rust
Shapes Specification CLI — structured intent, constraints, and boundaries for software projects
ActiveRecord extension that maps models to Facebook Open Graph objects.
A very simple acts as graph for your model
Simple mixin for adding graph like functions (parents, children, traversal, etc) to any class. Effectively, you'll get DAG (directed acyclic graph) behaviour between your classes and therefore the ability to model parent, child and sibling behaviours with ease!
Extends Active Record to add simple function for draw the Force Directed Graph with html.
acts_as_graph is a Rails plugin that facilitates a Graph like interface to ActiveRecord.