Lists (3)
Stars
64 tools for Korean law — statutes, precedents, ordinances, interpretations | MCP Server · CLI · npm
An online tool for sketching and sharing instrumental melodies.
Beginner, advanced, expert level Rust training material
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
Compile-time tests for types. Useful to make sure types don't regress into being overly-permissive as changes go in over time.
Curry-Howard isomorphism for deontic logic — formalizing Korean Civil Act with Haskell type-level stratified defeasibility
Built-in exact decimal numbers for JavaScript
A collection of TypeScript utilities for the TC39 Temporal proposal.
Lean 4 theorem proving skill and workflow pack for AI coding agents
🛰️ Represent any GraphQL API as an interactive graph
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
Symphony turns project work into isolated, autonomous implementation runs, allowing teams to manage work instead of supervising coding agents.
🐚bash/POSIX-compatible shell implemented in Rust 🦀
Smallest transformer that can add two 10-digit numbers
A precise specification for "Rust lite / MIR plus"
A fast C++ lexer for extracting named exports from CommonJS modules. This library performs static analysis to detect CommonJS export patterns without executing the code.
High-efficiency LLM inference engine in C++/CUDA. Run Llama 70B on RTX 3090.
no_std Hardware Abstraction Layers for ESP32 microcontrollers
Modern Deno skills for AI coding assistants. Covers Deno, JSR imports, Fresh, Deno Deploy, and best practices.