axon-lang
v2.66.0 ExperimentalAXON — 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.
Quick Verdict
- ✓Actively maintained (updated 0d ago)
- !Heavy dependency tree (36 direct deps)
Security
Deep Insights
1.7K downloads in the last 30 days (58/day), up 102% from the previous period.
36 direct dependencies. Consider the impact on compile times and supply chain complexity.
2.4MB is relatively large. May impact download and compile times.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata