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 3d ago chartlet cargo 0.12.0 clean Compile structured data into deterministic, accessible static charts 184 1d 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 2d ago ridl-core cargo 0.6.0 clean The RIDL family compiler core: the incremental database, diagnostics, and the package and workspace model. 173 23h ago wickra-zk-methods cargo 0.2.0 clean The compiled wickra-zk guest program: the RISC-V ELF the prover runs and the image id the verifier pins, committed alongside the source that produces them. 170 2d ago tsr_parser cargo not built 0.3.0 did not build TypeScript and JavaScript parser for tsr 168 3d ago tsr_tspath cargo not built 0.3.0 did not build TypeScript-compatible path operations for tsr 164 3d 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 2d ago tsr_vfs cargo not built 0.3.0 did not build Virtual filesystem and host contracts for tsr 151 3d ago crush-frontend cargo 0.3.9 clean Portable Crush language frontend: parser, semantic analyzer, optimizer, and CASM compiler 150 12h ago tsr_json cargo not built 0.3.0 did not build Byte-preserving typed JSON encoding for tsr 150 3d 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 2d 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 4h ago varyk-syntax cargo 0.8.0 clean Lexer, parser, and AST for Varyk, a programming language for backend services that compiles to Rust 139 21h 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 11h ago tsr_tsoptions cargo not built 0.3.0 did not build TypeScript compiler options and configuration parsing for tsr 131 3d ago ktrs-syntax cargo 0.5.0 clean Kotlin syntax kinds and lossless syntax tree, shaped like the Kotlin compiler's PSI 130 9h 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 19h ago ktrs-lexer cargo 0.5.0 clean Kotlin and KDoc lexers, ported from the Kotlin compiler's JFlex specs 123 7h 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 19h ago scc-core cargo 0.2.11 clean System Context Compiler core: System IR types, identifiers, provenance 122 2d ago tsr_checker cargo not built 0.3.0 did not build TypeScript type checking and type queries for tsr 121 3d ago 