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 14h 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 14h ago synth-backend-aarch64 cargo 0.81.0 clean AArch64 (A64) host-native backend for synth — integer subset (milestone 1, #538) 1.6K 7h ago type-bridge-core-lib cargo 2.2.3 clean TypeQL AST, schema parser, query compiler, and validation engine for type-bridge 1.6K 20h ago yurtc cargo 0.1.1 2 vulnerabilities 2 Compiler for the Yurt language 1.5K 1d 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 1d ago rucc-safe-rt cargo 0.24.8 clean The memory safety runtime: the planes, the allocator and the reporter. 1.3K 1d 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 14h 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 14h 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 1d 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 1d 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 14h ago bynk-grammar cargo 0.309.4 clean Renders the Bynk tree-sitter grammar to EBNF for the language reference. 989 14h ago uqa-sql cargo 0.5.1 clean PostgreSQL-compatible SQL compiler built on libpg_query 946 10h ago bynk-lsp cargo 0.309.0 clean bynkc-lsp, the Language Server for the Bynk language. 933 21h ago bynk cargo 0.309.0 clean The Bynk developer driver: links the compiler in-process and orchestrates the Node toolchain (doctor, new, dev, deploy, check, fmt, test, explain). 919 21h ago uqa-graph cargo 0.5.1 clean Graph store, RPQ, Cypher (lexer/parser/AST/compiler), graph algorithms 828 10h ago jdc-core cargo 0.2.16 clean Machine-neutral decompiler core: IR, CFG structuring, statement conversion, Java emission. Front-end agnostic (JVM class files, DEX, ...). 796 1d ago midenc-frontend-masm cargo not built 0.11.0 did not build MASM disassembler frontend for the Miden compiler 778 1d ago bynk-strip cargo 0.309.4 clean Strip-only TypeScript-to-JavaScript for the Bynk compiler: erases type syntax with oxc, preserving runtime semantics and value imports. 742 6h ago svod-dtype cargo 0.2.0 clean Type system for the Svod ML compiler 723 13h ago svod-macros cargo 0.2.0 clean Procedural macros for the Svod ML compiler 722 13h ago rucc-headers cargo 0.24.8 clean Derives a multi-version libc header tree from real installed header sets, for the rucc C compiler. 688 1d ago svod-ir cargo 0.2.0 clean Intermediate representation for the Svod ML compiler 672 13h ago svod-device cargo 0.2.0 clean Device abstraction layer for the Svod ML compiler 614 13h ago bynk-driver cargo 0.309.4 clean The command bodies shared by the Bynk CLIs (bynkc and bynk): project rooting, check, fmt, test, and output writing. 566 14h ago 