JSON Schema validator and JSON coercer
Command-line client for the Harmont CI platform.
a categorical deep learning compiler
A fast, modern Rust implementation of cloc (Count Lines of Code)
Build Automation Kit for Embedded Release
A tiny Ruby-subset interpreter in Rust, built on top of Prism
Safe Rust bindings for Lean 4 interop: runtime initialization, object handles, typed ABI conversions, module loading, exported function calls, semantic handles, and callback handles.
High-performance PEG parser library with packrat memoization and arena allocation
A Perl LSP server built on tree-sitter-perl and tower-lsp
Grep your documents with context — fast offline search for PDFs, DOCX, Markdown and code
A minimal behavior tree implementation
A small DSL to generate syntax-diagrams