Verification infrastructure for agentic development.
| Repo | What it does |
|---|---|
| ripr | Static mutation exposure analysis for Rust. Experimental Python and TypeScript in development |
| unsafe-review | Static unsafe contract coverage for Rust PRs |
| cargo-allow | Source exception ledger for Rust repositories |
| ub-review | Targeted CI gate with review judgment built in |
| Repo | What it does |
|---|---|
| perl-lsp | Perl 5 language server that parses Perl without running Perl. 925k lines of Rust. Built-in in Red Hat's LSP4IJ for JetBrains and Eclipse |
| tokmd | Deterministic repository receipts, review artifacts, and CI gates |
| Repo | What it does |
|---|---|
| OpenRacing | 1kHz force-feedback and telemetry stack for sim racing wheels. 1.1M lines of Rust |
| OpenFlight | 250 Hz force-feedback and telemetry stack for flight simulators. 0.5M lines of Rust |
| Repo | What it does |
|---|---|
| copybook-rs | COBOL copybooks to JSON and Parquet |
| pst-rs | Outlook PST/OST with full encryption support |
| hl7v2-rs | HL7 v2 parser, validator, generator |
| Repo | What it does |
|---|---|
| uselesskey | Deterministic cryptographic test fixtures for Rust |
| shipper | Resumable, backoff-aware publishing for Rust workspaces |
| demo-swarm | Claude Code SDLC template for review-ready PRs |