miden-note-schema-codegen cargo 0.15.0 clean Rust code generator for Miden note storage schemas 28 2d ago tsr_lsproto cargo not built 0.3.0 did not build Pinned language server protocol types and wire codecs for tsr 28 3d ago tsr_autoimport cargo not built 0.3.0 did not build Auto-import indexes and import edits for tsr 26 3d ago ferrovue-i18n cargo 0.6.0 clean vue-i18n's t() for ferrovue's server-rendered Vue components: messages compiled at build time, evaluated as vue-i18n evaluates them 25 2d ago migratr-macros cargo 0.1.2 clean The embed! macro for migratr: validates and embeds a migrations directory at compile time. 24 7h ago miden-note-codec-macros cargo 0.15.0 clean Procedural macros for author-side Miden note codecs 22 2d ago sil-core cargo 0.7.0 clean Subject-oriented semantic model for ThoughtPivot Silc 20 2d ago tabnas-gbnf cargo 0.1.16 clean llama.cpp GBNF grammar compiler for the tabnas parsing engine: GBNF text in, tabnas GrammarSpec out, plus the inverse renderer and the gbnf-check validator 20 1d ago miden-note-codec cargo 0.15.0 clean Author-side codecs for typed Miden note storage 18 2d ago sil-lexer cargo 0.7.0 clean Silc lexical analysis (Raku-inspired surface) 18 2d ago incremental-lang cargo 1.0.0 clean Incremental reparsing for editor tooling: reparse only the region an edit touched. 17 7h ago miden-note-bindings-macros cargo 0.15.0 clean Procedural macros for typed Miden note storage bindings 17 2d ago sil-parser cargo 0.7.0 clean Silc parser (syntax → sil-core subjects) 17 2d ago sil-router cargo 0.7.0 clean Silc semantic router (Go / Python / Bun-TypeScript) — stub 16 2d ago tla-mc cargo 0.1.1 clean A fast TLA+ model checker: compiles a spec into a native, parallel checker; state counts measured exact against TLC 16 10h ago miden-note-bindings cargo 0.15.0 clean Typed host bindings for Miden note storage schemas 15 2d ago sil-codegen cargo 0.7.0 clean Silc target code generation (Go / Python / Bun-TypeScript) 15 2d ago tsr_ls cargo not built 0.3.0 did not build Language service conversions and queries for tsr 15 3d ago colander cargo 0.4.1 clean Domain-neutral form core: compile triples, evaluate rules, validate responses (C ABI) 14 2d ago sil-training cargo 0.7.0 clean Provider-neutral silclm prompt generation and compiler-backed dataset banking 14 2d ago silverscript-lang cargo 1.0.1 12 vulnerabilities 12 SilverScript language parser and compiler for Kaspa scripts 14 1d ago tsr_lsp cargo not built 0.3.0 did not build Language server session and project dispatch for tsr 13 3d ago mil_lint cargo 0.1.0 clean Static ANE-placement analysis for MIL graphs: predicts per-op execution unit (ANE/GPU/CPU) before compile. 12 1h ago silverscript-debug-artifact cargo 1.0.1 clean Portable SilverScript ABI artifacts with compiler debug information 12 1d ago smeltery-mold-macros cargo 0.1.0 clean The #[derive(Mold)] macro of the Smeltery framework: compiles Mold templates to Rust at build time. 10 2d ago varyk-http cargo 0.1.0 clean The HTTP package for Varyk, a language for backend services that compiles to Rust: a server on axum and tower-http, and a client on reqwest 10 1d ago brap cargo 0.1.0 clean Low-overhead latency telemetry for hot code paths: compile-time registered cycle histograms and counters 9 2d ago hybrid-format cargo 0.1.0 clean A hybrid format! alternative that formats constants at compile-time and everything else much faster at runtime with a single allocation. Extensible with your… 9 1d ago varyk-sql cargo 0.2.0 clean The SQL package for Varyk, a language for backend services that compiles to Rust: SQLite, Postgres, and MySQL through sqlx 9 1d ago diesel-aip-160 cargo 0.1.0-beta.1 clean Parse AIP-160 filters and compile typed, parameterized Diesel predicates 8 1d ago 