BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us
modules.com
⌘K

axon-frontend

v1.3.0crates.io· Rust

AXON compiler frontend — lexer, parser, AST, epistemic type system, type checker, IR generator. Zero runtime dependencies. v1.3.0 lowers requires_capabilities into IRAxonEndpoint (the PCC capability-containment property, §Fase 51.x.1). v1.2.0 added PRIMITIVE_REGISTRY — closed catalogue of every named language construct (45 entries) with PrimitiveInfo / DocStatus / CoverageSummary types + helpers. v1.1.0 introduced session-types + multiparty projection. See https://github.com/Bemarking/axon-lang.

The verdict
Maintained. Niche but maintained, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicenseOther
DepsZero deps
Maintenance
Last published this month.
Popularity
69 downloads / week
Security
No known advisories for this version (OSV).
License
AGPL-3.0-or-later
Dependencies
No runtime dependencies
Recent releases
  • 1.3.0this month
  • 1.2.0this month
  • 1.1.0this month
  • 1.0.0this month
  • 0.21.0this month
  • 0.20.0this month
  • 0.19.3this month
  • 0.19.2this month
axon-frontend — AXON compiler frontend — lexer, parser, AST, epistemic type system, type checker, IR generator. Zero runtime dependencies. v1.3.0 lowers requires_capabilities into IRAxonEndpoint (the PCC capability-containment property, §Fase 51.x.1). v1.2.0 added PRIMITIVE_REGISTRY — closed catalogue of every named language construct (45 entries) with PrimitiveInfo / DocStatus / CoverageSummary types + helpers. v1.1.0 introduced session-types + multiparty projection. See https://github.com/Bemarking/axon-lang. (Rust / crates.io) — verdict, alternatives & security · Modules