🧊
Highlights
- Pro
Lists (7)
Starred repositories
Building better languages and tools; for some measure of better.
Command-line program to download image galleries and collections from several image hosting sites
Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
A statically typed lisp, without a GC, for real-time applications.
codespelunker - CLI code search tool that understands code structure and ranks results by relevance. No indexing required with CLI, TUI, MCP and HTTP support.
Definitional implementation of Cedar language and utilities for DRT
Simple, expressive & portable programming language for efficient scripting
A parser combinator language and compiler designed to produce lossless syntax trees with robust, structured error recovery.
A thread-per-core async Rust runtime with IOCP/io_uring/polling.
Apache Iggy: Hyper-Efficient Message Streaming at Laser Speed
⛄Possibly the smallest Lua compiler ever
A functional programming language based on algebraic effect handlers
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
A toolkit for enforcing logical specifications on neural networks
ANTLR v4 grammar-based test generator
Maple Mono: Open source monospace font with round corner, ligatures and Nerd-Font icons for IDE and terminal, fine-grained customization options. 带连字和控制台图标的圆角等宽字体，中英文宽度完美2:1，细粒度的自定义选项
monospace typeface designed for symbol-rich programming