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.
A powerful CLI tool for managing schema artifacts from Apicurio Registry with lockfile-based dependency management
Generate versions for any commit from git and other version control - perfect for CI/CD builds and multiple formats
Scoped lending of borrowed references
Static analysis tool for SQL queries with 20 built-in rules for performance, security, and style
rlyx is a fast release manager that automatically bumps versions, creates changelogs, tags commits, and publishes GitHub releases across JS, Rust, and Python projects with first class monorepos support.
Generate fake / test data from vld JSON Schemas
binst's goal is to provide a simple way to publish and install Rust based binaries without the need of cargo-install and the complexity of OS dependent package managers
Cargo subcommand for you to smooth your release process.
Library to merge ini files subject to configuration.
Semver extension with upstream and downstream versions. Designed for package distributors
Semver extension with optional 4th digit given patch semantics. Designed for package distributors