rucc-verify cargo 0.24.8 clean SMT verification of the rucc rewrite and lowering rule set. 1.8K 2d ago assura-pipeline cargo 0.6.0 1 detection 1 Shared compiler pipeline for the Assura language 1.8K 2d ago rucc-sysroot cargo 0.24.8 clean Sysroot layout, header search paths and link lines for rucc, computed from the target and never from the host. 1.8K 2d ago assura-fmt cargo 0.6.0 clean Source code formatter for the Assura contract language 1.7K 2d ago bynk-emit cargo 0.309.4 clean Build orchestration and TypeScript emission for the Bynk compiler. 1.7K 18h ago assura-llm cargo 0.6.0 clean LLM provider abstraction and contract analysis for Assura 1.6K 2d ago assura-mcp cargo 0.6.0 1 detection 1 MCP (Model Context Protocol) server for Assura AI agent integration 1.6K 2d ago assura-lsp cargo 0.6.0 1 detection 1 LSP server for the Assura contract language 1.6K 2d ago bynk-fmt cargo 0.309.4 clean The formatter for the Bynk language. 1.6K 18h ago ppoppo-schema-constrained cargo 0.51.0 clean Enum ↔ SQL CHECK anchor: compile-time exhaustiveness guard + DB-drift binding, shared by PAS (scaccounts) and PCS (scchat) 1.6K 21h ago synth-backend-aarch64 cargo 0.81.0 clean AArch64 (A64) host-native backend for synth — integer subset (milestone 1, #538) 1.6K 11h ago type-bridge-core-lib cargo 2.2.3 clean TypeQL AST, schema parser, query compiler, and validation engine for type-bridge 1.6K 1d ago yurtc cargo 0.1.1 2 vulnerabilities 2 Compiler for the Yurt language 1.5K 1d ago tishlang_wasm cargo 4.0.0 clean WebAssembly backend for Tish - compiles to real .wasm 1.5K 11h ago tishlang_native cargo 4.0.0 clean Native code generation backend for Tish (Cranelift / direct compile) 1.4K 11h ago opy-cli cargo 0.3.1 clean Standalone OPY CLI: check, compile, inspect, and version. 1.4K 9h ago rucc-archive cargo 0.24.8 clean Writes the ar archives a linker reads as static libraries, with the symbol index in them and nothing that varies between two runs, for the rucc C compiler. 1.3K 2d ago rucc-safe-rt cargo 0.24.8 clean The memory safety runtime: the planes, the allocator and the reporter. 1.3K 2d ago bynk-render cargo 0.309.4 clean Diagnostic rendering for the Bynk compiler: ariadne human output and the short line form, shared by both CLIs. 1.3K 18h ago oxdock-core cargo 0.22.0-alpha clean Core engine for OxDock's Dockerfile-inspired compile-time DSL, orchestrating workspace snapshots and asset embedding. 1.3K 3h ago bynk-ide cargo 0.309.4 clean The IDE analysis surface of the Bynk compiler: non-bailing single-file and project diagnostics, and the editor queries a language server consumes. 1.2K 18h ago tishlang_wasm_runtime cargo 4.0.0 clean Tish VM compiled to WebAssembly (browser + Wasmtime/WASI) 1.2K 9h ago tishlang_cranelift_runtime cargo 4.0.0 clean Runtime for Cranelift-compiled Tish bytecode 1.2K 9h ago rucc-stub cargo 0.24.8 clean Synthesizes the shared libraries a linker needs from a description of their exported interface, for rucc's self-contained cross compilation. 1.1K 2d ago tishlang cargo 4.0.0 11 vulnerabilities 11 Tish CLI - run, REPL, compile to native 1.1K 9h ago rucc-targets cargo 0.24.8 clean Target and psABI queries for the rucc C compiler, and the generator for docs/TARGETS.md and docs/FEATURES.md. 1.1K 2d ago bynkc cargo 0.309.4 clean The Bynk compiler CLI: type-checks Bynk source and compiles it to typed TypeScript for Cloudflare Workers. 1.0K 18h ago bynk-grammar cargo 0.309.4 clean Renders the Bynk tree-sitter grammar to EBNF for the language reference. 989 18h ago uqa-sql cargo 0.5.1 clean PostgreSQL-compatible SQL compiler built on libpg_query 946 14h ago rahti-build cargo 0.0.49 clean Build step for the Rahti web framework: scans the app directory, writes the router, and compiles the stylesheet. 934 10h ago 