Modules

Project a normalized RDF knowledge graph into per-IDE agent configs (Claude Code / Copilot / Cursor) — skills, rulesets, MCP — via Bazel + Apache Jena.

Bazel rules for Google AIP (aip.dev) proto linting — shared api-linter toolchain + aip_proto_lint test rule + aip_proto_library deps macro.

Bazel rules for building Astro sites hermetically (astro_site / astro_dev)

Bazel-native autoconf-style configuration. cc_check_{header,function,symbol} + config_header — replaces autoconf+m4 with a graph of cache-aware Bazel actions.

Bazel-idiomatic Apache Beam pipeline packaging + cross-runner deployment (DirectRunner, Dataflow, Flink, Spark)

Bazel-idiomatic BibTeX citations (arxiv/DOI/manual) + cite-lint + research-graph aspect

Wear a brand without building one — consume a .brando package in any Bazel repo, no Python required

Bazel rules for Bun. Hermetic 'bun test' + sandbox-escaping 'bun run' against prebuilt binaries from oven-sh/bun releases.

Hermetic ARM/RISC-V/x86 cross-compiler toolchains for embedded Bazel builds (seL4, microkit, bare-metal).

Bazel rules for Chrome for Testing. Hermetic, sha256-pinned chrome + chromedriver per platform; launchers + opt-in Playwright (py + js) macros with Bazel-managed user-data-dirs.

Bazel rules + Rust translator + Lean 4 IR for provably correct translations between GitLab CI, GitHub Actions, and Bazel rules.

Bazel rules for AWS CloudFormation templates — schema-derived typed Bazel rules via rules_jsonschema, Java-based linter via rules_java + the official cloudformation-template-schema.

Hermetic eslint runner — lint a workspace's @npm eslint binary under Bazel

fastverk foundation module — fastverk_* macros + the dependency BOM + shared .bazelrc

The portable fastverk console-plugin build macro (fastverk_plugin + rust_service_image).

Bazel repository rules for GitHub-release-based content. Common substrate for rules_mdbook, rules_bun, rules_postgres, et al.

Bazel rules for GitLab CI: schema-pinned validate + glab-backed server-side lint.

Chart-as-a-module: build, lint, and publish Helm charts in Bazel (the Helm analog of rules_oci).

Bazel-idiomatic HuggingFace toolchain: hf_model / hf_upload / hf_inference_endpoint

Apache Jena toolchain implementations for rules_rdf — SPARQL engine (ARQ), SHACL validator, Turtle/N-Triples serializers, OWL reasoner. Java tools built via rules_java + Maven.

Bazel rules turning JSON Schema into typed code via a per-language plugin contract (Rust, Go, Starlark)

Kubernetes CRDs as build artifacts: controller-gen as a real Bazel action (no host Go, no `go list`, no module cache, no `bazel query`), plus manifest bundle/validate and operator images.

Bazel rules for Lean 4 with Lake integration (rules_lean). Reuses Lake's mathlib cache via lake_workspace repository rule.

Bazel-native LoRA fine-tuning.

Bazel-idiomatic, hermetic Linux VMs on macOS via Apple Virtualization.framework (vfkit), with a pluggable VMM provider seam.

Bazel rules to compose markdown fragments into documents, with a deep-linking aspect that resolves cross-target anchors

Bazel rules for mdbook with mdbook-mermaid plugin support. Hermetic, sha256-pinned binaries; mdbook_book rule produces a packaged HTML tarball.

Hermetic meson + ninja for Bazel.

Bazel rules for Next.js. Hermetic 'next build' with .next/ as a declared output directory.

Bazel rules turning OpenAPI 3 specs into typed code (Rust client via progenitor for v0.1), layered on rules_jsonschema's plugin contract

Daemonless, hermetic, Bazel-idiomatic Podman: static Linux engine + mac/win client toolchain, run/build/image-load rules, and a self-managed macOS podman machine.

Bazel rules for PostgreSQL tooling: libpg_query + raw PG source. Hermetic, sha256-pinned. Includes pg_parse_valid_test for SQL-emit CI gates.

Bazel-idiomatic PlantUML diagram rendering + composition (Java toolchain; SVG/PNG today, PDF + typed-AST planned)

Bazel rules for RDF — toolchain types for SPARQL, SHACL validation, format conversion, and reasoning. Concrete implementations live in sibling repos like rules_jena.

README-shaped sugar over rules_markdown: templated READMEs materialized into the tree with a drift gate

Sha-pinned schema.org vocabulary + grounding tables via rules_rdf / rules_jena

Lean/RDF spine vehicle — crank, corpus gates, grounding console, Eve markup assistant. Stays separate from platform/desktop/plugin-shell. Independently versioned modules.

SSH-fronted TUI launcher: russh server + login-shell oci_image

Bazel rules for Storybook: hermetic build, deterministic story manifest, sandbox-escaping dev runner.

Bazel-idiomatic systemd unit provisioning: typed unit rules + providers + an aspect that emits the /etc/systemd/system layer with enable-symlinks

Public Bazel rules + prebuilt CLI for tap (test selection / impact / flake / culprit). Engine is private in fastverk/tap.

Bazel rules to compile LaTeX into PDFs via tectonic.

rules_tla — hermetic Bazel rules for TLA+ model checking (TLC via a pinned tla2tools.jar); tla_library + tla_check as bazel test targets

fastverk foundation module — fastverk_* macros + the dependency BOM + shared .bazelrc

Bazel rules for uv (Astral's Python package manager)

Bazel rules for Vitest under aspect_rules_js. Hermetic js_test wrapper for vitest.

Bazel toolchain types and rules for W3C/WHATWG web-standards specs (webidl/html/css/js) — decoupled from impl modules.

Bazel rules for XSD: offline schema validation + XSD→RDF/OWL vocabulary generation.

fastverk visual identity — parametric mark generator, per-platform icons, and a tectonic brandbook

fastverk macOS app — menu-bar tray + settings + daemon-aware cred-helper, on the fvkit core

Generic forge contract (ForgeService) + GitHub/GitLab adapters.

fastverk core/runtime — fvkit platform library + fvd daemon + gRPC contract

Registry admission gating for tomato-bazel: prove invariants about a module from its graph before it enters the registry.

Meridian — the cross-modal UI description language. Proto schema, renderers (web components, React+MUI, ratatui TUI, chat), and tooling.

The conversation / agent-chat renderer of the meridian design language — renders a modality-neutral meridian.ui.v1 Conversation stream (the neutral promotion of botnoc chat.v1) over SSE+POST. Vanilla <m-assistant-panel> web component + React <Conversation>. Private.

The framework- and brand-neutral root of the meridian design language: proto contracts (PanelDescriptor + Theme), @meridian/proto-ts, and the WebRenderer seam.

The ratatui terminal renderer of the meridian design language (native-Rust PanelDescriptor renderer).

The shared platform-neutral Rust core of the meridian design language: prost types + ProtoPaths + RequestBuilder + render helpers + the wasm bundle the web renderer consumes.

The web-components renderer of the meridian design language (reference, React-free): the web toolkit, theme binding, and the meridian_panel_bundle rule.

The Postgres dialect AST in Lean 4 + the pretty-printer gated against Postgres's own parser. Small and closed by design; the module the provable-migration work builds on.

Postgres's system catalog modelled in Lean 4 — phantom-typed OIDs, the kernel tables, name resolution, and PG 17.6's bootstrap data. Versioned against the Postgres release it models.

Postgres schema migrations in Lean 4 — the layer where provable migration gets built. Today: the DDL-to-catalog fold. Next: a catalog transition that can fail, and the Migration theorem.

libpg_query's parse tree as Lean 4, plus the C decoder that fills it — the READING side of the leangres AST split. Generated from pg_query.proto; nothing is proven about it by design.

Lean/RDF spine vehicle — crank, corpus gates, grounding console, Eve markup assistant. Stays separate from platform/desktop/plugin-shell. Independently versioned modules.

The dialect-neutral SQL AST in Lean 4 — ANSI shapes parameterised over a dialect extension. Base of the leangres dependency graph. Dep-free (Lean core only), published as compiled oleans.

Generic work-tracker contract (TrackerService) + Linear adapter

Cross-repo dependency-cascade engine + CLI — not Renovate.