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.
AI/Human task management system with file-based storage
HEDL to/from CSV conversion
Captures mouse data and computes derived metrics for downstream analysis/tasks
CLI for the Intervals.icu API
Simple, keyboard-driven TUI for time-tracking that allows you to quickly add time blocks and automatically group time if same task was done in different sessions
A tool that generates CSV or Parquet files with synthetic data based on a provided JSON schema
A tool that generates CSV or Parquet files with synthetic data based on a provided JSON schema
Table, Column, and operation traits for the Vantage data framework
NTFS USN Journal parser with full path reconstruction via journal rewind
Memory, power, and latency profiling hooks with CSV emitters for benchmarking attention mechanisms
A fast command-line CSV analysis tool with automatic type inference and comprehensive statistics