A tiny lisp based language
A requirements traceability tool
Typed BCP47 language tags with built-in names, plural metadata, and conversion helpers.
A code highlighter giving the same output as VSCode
Rust client for the Bank of Japan time-series statistics API
A code highlighter giving the same output as VSCode
Type-safe SMT solver driver with fluent Term API, multi-solver fallback, and process watchdog
Search and Rewrite code at large scale using precise AST pattern
beancount grammar for the tree-sitter parsing library
Sema — a Lisp dialect with first-class LLM primitives
Security gate for AI-generated code - blocks the build until vulnerabilities are fixed
A beautiful, colorful Wikipedia CLI with full Markdown rendering, emoji support, and customizable themes
No description provided.
No description provided.