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.
Fast, scriptable command-line interface for the Tripletex REST API v2 (Norway's accounting platform). Self-refreshing session auth, 22 resource groups, JSON/table/CSV output, and a skills.sh manifest for LLM agents.
OGC CQL2 Text + JSON Encoding parser and interpreter in Rust
Simple time tracking from the command line
SaveContext CLI - Persistent memory for AI coding agents
A flexible rule-based file and folder comparison tool and crate including nice html reporting. Compares CSVs, JSON, text files, pdf-texts and images.
Semantic SBOM diff and analysis tool
MWA ASVO command line client
Command-line client for rutracker.org built on top of the rutracker-api crate.
Shrimpl programming language and LSP
Easy-to-Use Heterogenous SQL Database
Inmemory tables for use in Rust