Stars
Render markdown on the CLI, with pizzazz! 💅🏻
An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.
Lightweight and Memory efficient terminal for Mac built with SwiftUI and libghostty
Read-only mirror of https://gitlab.com/cznic/sqlite
ArtifactFS is a filesystem driver designed to mount large git repos as quickly as possible, hydrating file contents on-the-fly instead of blocking on the initial clone. It's ideal for agents, sandb…
Lightweight (7MB) Terminal-first AI-native dev workspace
Extracted system prompts from Anthropic - Claude Fable 5, Opus 4.8, Claude Code, Claude Design. OpenAI - ChatGPT 5.5 Thinking, GPT 5.5 Instant, Codex. Google - Gemini 3.5 Flash, 3.1 Pro, Antigravit…
A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
A C Compiler that fits in the 512 byte boot sector of an x86 machine
A security-focused library OS supporting kernel- and user-mode execution
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
bootOS is a monolithic operating system in 512 bytes of x86 machine code.
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Lean 4 programming language and theorem prover
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Minimal, clean code for the Byte Pair Encoding (BPE) algorithm commonly used in LLM tokenization.
DuckLake is an integrated data lake and catalog format
Linux running inside a PDF file via a RISC-V emulator