A WASM version of GraphTea

Twenty LuaLaTeX and MetaPost (fiziko) examples of the old scientific-paper aesthetic: engraved plates, star charts, computed log tables, knots, telescopes

Audio Editor

G-code generator for 3D printers (RepRap, Makerbot, Ultimaker etc.)

Private, fast, and honest web browser

CUDA Templates and Python DSLs for High-Performance Linear Algebra

Flow Control: a programmer's text editor

A fast, friendly, functional language.

Toolkit for building native desktop apps

A language server for Zig supporting developers with features like autocomplete and goto definition

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Keep the people you love connected — a tiny self-hosted Telegram proxy that hides in plain HTTPS

GitHub's official MCP Server

Open Source Continuous File Synchronization

Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games

Agda is a dependently typed programming language / interactive theorem prover.

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Open-source 3D architectural editor with a local CLI, MCP tools, and practical workflows for humans and AI agents.

A native AppKit Markdown editor for macOS, built on TextKit 2 and bridged to SwiftUI.

DoltLite - Version Controlled SQLite

Linux + iPhone Continuity / iMessage / SMS

A fast, simple, and embedded key-value store for Rust.

Let AI agents QA your macOS app in the background. No synthetic input, no stolen focus.

The most atomic way to train and inference a GPT in pure, dependency-free C

A compact, efficient Prolog interpreter written in plain old C.

A project-local library installer for Common Lisp

A high performance rust-powered UI layout library

Intertwingler is an application server for creating dense hypermedia networks.

Meta-Framework of Spatiotemporal Composability