Releases

Internal unsafe Rust bindings for catboostlib C apis using bindgen

A cross-platform multimedia layer that exposes opengl,sockets,and audio utilities for desktop and browser

Reserved

EBNF grammar for the tree-sitter parsing library

Track your apps in real time

A dprint plugin for formatting the ISO 14977 EBNF notation

Non-linear arithmetic solver for OxiZ (CAD-based)

Reserved

gen — polyglot workspace dispatcher. Probes a directory for every configured adapter marker and emits a typed PolyglotWorkspace containing one Manifest per detected language. Engines that operate across language boundaries (caixa-author + the M5 cross-language renderer + audit reports) consume this.

Snapshot testing toolbox

Plugin API and registry for the mir PHP static analyzer

FFT laboratory

High-performance CDCL SAT Solver for OxiZ

A formatting library for the ISO 14977 EBNF notation

A simple SubRip file parser

gen — operator-facing CLI. Subcommands: check (parse + print typed manifest), lock (regenerate lockfile-derived data), config-show (dump tier), config-diff (compare tiers). Wires every adapter to the operator through one binary; new adapters land in the dispatch table, not as new tools.

gen — the DERIVED-VERDICT law as a type. A verdict is derived from the subject set it claims about, and CARRIES THE WITNESS of that derivation: `NonEmpty<T>` (head+tail, so empty is a compile error, not a smart-constructor Err), `Domain<T>` (emptiness is a named arm, never `Option`), `Verdict<S,F>` whose `Held` arm cannot be NAMED without a non-empty subject-set witness and whose `Vacuous`/`Unreached` are distinct no-claim arms, one `judge` classifier, a re-deriving `#[serde(try_from)]` wire border that REJECTS a forged pass, and a move-only `Permit<S>` capability that binds the witness to the guarded action's input. Deliberately tiny (serde + thiserror + gen-macros) so every gate, linter, reconciler observation and status field in the fleet can afford it. See theory/UNREPRESENTABILITY.md §II.4.

Core contracts for Godlint.

Codebase storage and resolution for the mir PHP static analyzer

Command-line interface for Godlint.

gen — the Security-Attestation (SecAttest) INVARIANT contract. The universal typed law that every derivation carries a COMPLETE, content-addressed, FAIL-CLOSED security verdict {signature, SBOM, CVE⊖VEX, provenance} keyed by the SAME content hash PDC uses (the attestation address = the third use of PDC clause-4's one cell), verified before use: an unverified/incomplete/tampered artifact has no run path. Ships the six-clause law, the sealed RunToken capability, the fail-closed checker + Attestable trait, and the verdict-kind CATALOG + verification MATRIX forcing-function. Security peer of gen-pdc; OSS-first (cosign/sbomnix/Trivy/osv/OpenVEX/SLSA/in-toto plug in as producers).

gen — typed cache client (CacheClient trait + AtticClient HEAD-probe impl + NoCacheClient default). Engines consult the trait before triggering builds; substituter hits short-circuit the rebuild. The trait is the swap-in seam for any future binary cache (cachix, S3, R2). Today attic is offline → NoCacheClient is the default; AtticClient activates when the substituter is reachable.

gen — the Per-Dependency Content-Addressed Cacheability (PDC) contract. The typed variant CATALOG of ecosystem adapters (cargo/gomod/npm/pip/…) + the universal PDC invariant checker + the verification MATRIX forcing-function. Codifies the per-dependency-caching law that gen-cargo (shipped) and gen-gomod (M1) already implement implicitly, so a new ecosystem cannot ship without a PDC conformance proof. See theory/PDC-CONTRACT.md.

gen — typed bridge between pleme-io's caixa SDLC primitive and the gen ecosystem. (defcaixa …) blocks declare a :gen slot; this crate translates the typed CaixaToGen request into an AdapterRoute the caixa renderer can act on. The first M9 milestone; full caixa-side wiring (caixa-author skill update, feira render integration) lands when the typed surface stabilizes.

Packaged Substrait Extension Files

gen — Buck2 BUCK file renderer. Sibling of gen-nix / gen-nix-bulk / gen-bazel; same typed Manifest in, typed Buck Starlark out. Buck2's BUCK files are Starlark-dialect — we reuse the typed Starlark AST published by gen-bazel and emit Buck-specific rule names + attrs.

gen — Bazel BUILD.bazel + MODULE.bazel renderer. Sibling of gen-nix (per-crate Nix) and gen-nix-bulk (per-tree Nix); same typed Manifest in, typed Starlark out. Operators pick the backend via shikumi config — the same source-of-truth typed Manifest renders to Nix or Bazel mechanically.

Issue definitions and reporting for the mir PHP static analyzer

Core AST, Sorts, and Traits for OxiZ SMT Solver

gen — per-tree (crane shape) bulk Nix renderer. Sibling of gen-nix's per-crate renderer. Produces one big derivation that builds the entire workspace in one shot — cheaper for CI's first-canary build, more expensive for incremental local dev. Operators pick the shape via shikumi config (RenderMode::PerTree).