Lists (1)
Stars
(Experimental) C/C++ template for DuckDB extensions based on the C API
A complete Rust port of the PAL (Legend of Sword and Fairy) DOS engine, playable natively or in the browser via wasm
SpaceXAI's coding agent harness and TUI. Fullscreen, mouse interactive, extensible.
Algorithm powering the For You feed on X
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
A lightweight sandboxing tool for enforcing filesystem and network restrictions on arbitrary processes at the OS level, without requiring a container.
Hardcaml is an OCaml library for designing hardware.
If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.
An open-source AI agent that brings the power of Gemini directly into your terminal.
Auto-format source code in many languages with one command
iOS port of meow — VPN/proxy client for iOS 26, powered by meow-rs
♞ lichess.org: the forever free, adless and open source chess server ♞
🌷 Run code formatter on buffer contents without moving point, using RCS patches and dynamic programming.
Football game
A fast usermode x86 and x86-64 emulator for Arm64 Linux
A package abstracting llm capabilities for emacs.
Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.
Amiga Minimig ported to the Tang Nano 20k FPGA
Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workl…
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.