sv-lang cargo 0.1.11+slang.12.0 clean Safe, ergonomic Rust bindings to slang, the fast SystemVerilog compiler frontend 205 1d ago ironwork-zarch cargo 0.8.0 clean ironwork for COBOL: z/Architecture data semantics: EBCDIC code pages, decimal instructions, hexadecimal floating point 195 1d ago bynk-project cargo 0.309.4 clean The project model of the Bynk compiler: discovery, the unit dependency graph, path resolution, cross-unit consistency checks, and the schema-registry document. 192 15h ago assura cargo 0.6.0 1 detection 1 Contract-first AI-native language. Write what it should do. AI proves it does. 190 2d ago assura-macros cargo 0.6.0 clean Proc macros for inline Assura contract annotations in Rust 190 2d ago tsr_scanner cargo not built 0.3.0 did not build TypeScript and JavaScript lexical scanning for tsr 185 2d ago ironwork-numeric cargo 0.8.0 clean ironwork for COBOL: IBM Enterprise COBOL numeric semantics under ARITH, TRUNC, NUMPROC and CODEPAGE 183 1d ago miden-tx-script-args cargo not built 0.15.0 did not build Typed transaction-script argument transport for the Miden VM 178 2d ago sv-lang-sys cargo 0.1.6+slang.12.0 clean Raw FFI bindings to slang-c, the stable C API of the slang SystemVerilog compiler frontend 175 1d ago ridl-core cargo 0.6.0 clean The RIDL family compiler core: the incremental database, diagnostics, and the package and workspace model. 173 18h ago tsr_parser cargo not built 0.3.0 did not build TypeScript and JavaScript parser for tsr 168 2d ago tsr_tspath cargo not built 0.3.0 did not build TypeScript-compatible path operations for tsr 164 2d ago texforge cargo 0.10.1 3 vulnerabilities 3 Self-contained LaTeX to PDF compiler CLI 162 2d ago miden-sdk-build-script-support cargo 0.15.0 clean Build script helpers for use in Miden SDK-based projects 154 1d ago tsr_vfs cargo not built 0.3.0 did not build Virtual filesystem and host contracts for tsr 151 2d ago crush-frontend cargo 0.3.9 clean Portable Crush language frontend: parser, semantic analyzer, optimizer, and CASM compiler 150 7h ago tsr_json cargo not built 0.3.0 did not build Byte-preserving typed JSON encoding for tsr 150 2d ago sv-lang-kinds cargo 0.1.2+slang.12.0 clean Generated kind enums (syntax, token, trivia, diagnostic) for slang, the SystemVerilog compiler frontend 140 1d ago rudb-qc-direct cargo 0.9.1 clean The query compiler's single pass x86-64 backend: QIR pipeline functions to machine code with no dependencies. 139 just now varyk-syntax cargo 0.8.0 clean Lexer, parser, and AST for Varyk, a programming language for backend services that compiles to Rust 139 16h ago ironwork-syntax cargo 0.8.0 clean ironwork for COBOL: fixed-format source reader, lexer and parser 137 1d ago bynk-ir cargo 0.309.4 clean The declaration-level IR the Bynk emitter reads: service protocols, handler kinds, type shapes, store fields, and capability signatures, plus shared AST-walk… 133 6h ago tsr_tsoptions cargo not built 0.3.0 did not build TypeScript compiler options and configuration parsing for tsr 131 2d ago ktrs-syntax cargo 0.5.0 clean Kotlin syntax kinds and lossless syntax tree, shaped like the Kotlin compiler's PSI 130 5h ago alloy-luaux cargo 0.1.0-rc.11 clean Fork of luaux 0.2.0, the JSX-style markup compiler for Luau, with the Alloy patches 129 2d ago ironwork-rt cargo 0.8.0 clean ironwork for COBOL: the runtime a compiled program links, under the runtime exception 127 1d ago lungo-bir cargo 1.88.0 clean Bridge IR: the versioned compiler boundary between Lean and the Rust backend. An internal part of lungo: depend on `lungo` and `lungo-build`. 124 15h ago ktrs-lexer cargo 0.5.0 clean Kotlin and KDoc lexers, ported from the Kotlin compiler's JFlex specs 123 2h ago bynk-ts cargo 0.309.4 clean The TypeScript tree and printer of the Bynk compiler: emission builds nodes, and this printer is the only code that writes emitted text. 122 15h ago scc-core cargo 0.2.11 clean System Context Compiler core: System IR types, identifiers, provenance 122 2d ago 