CLI crate for nils-plan-tooling in the nils-cli workspace.
A rust program to ensure the quality of commit
Agent-native source annotation for semantic program control.
A very minimal subset of `pg_dump --data-only` with multi-tenancy in mind.
Ratatui terminal interface for opty fleet reports. Renders fleet summary, agent roster, action plan, and selected issue list from a JSON payload supplied by the opty CLI launcher.
Track AI-generated code at line-level granularity
AXON v1.5.1 — first crates.io publication of the AXON language full-stack runtime. Lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the native Rust runtime: typed channels (TypedEventBus with QoS×5, π-calculus mobility, capability extrusion via shield D8 — Fase 13.f.2), Free Monad CPS handlers (Fase 2), lease kernel + reconcile loop (Fase 3+5), Epistemic Security Kernel (ESK Fase 6), Trust Types + ReplayLog (Fase 11.a+11.c), Stateful PEM over WebSocket (Fase 11.d), Ontological Tool Synthesis (Fase 11.e), Mobile Typed Channels (Fase 13). Crate publishes as `axon-lang` to mirror the Python PyPI package; library import remains `use axon::*` so existing call sites keep working unchanged.
Audit trail for rok ORM models — RFC-style before/after change tracking
AI/Human task management system with file-based storage
Rust bindings for the Listen Notes Podcast API
A highly parallel Perl 5 interpreter written in Rust
A declarative, prefix-notation DSL for formal verification of structured data.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.