A modern proof language

A massively parallel, high-level programming language

A massively parallel, optimal functional runtime in Rust

🔍 A simple, fast fuzzy finder for the terminal

The fastest and the most accurate file search toolkit for AI agents, Neovim, Rust, C, and NodeJS

Create web-based user interfaces with Python. The nice way.

Turso is an in-process SQL database, compatible with SQLite.

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

Ongoing research training transformer models at scale

Slurm: A Highly Scalable Workload Manager

One file. Under 200 lines. Zero dependencies. It's a coding agent.

LightGlue: Local Feature Matching at Light Speed (ICCV 2023)

The Rust SDK for building coding agents. Tool execution, LLM streaming, graph memory, sub-agent orchestration, MCP — as composable library functions.

Render markdown on the CLI, with pizzazz! 💅🏻

A command watcher that commits when you fix errors

Prevents your Mac from going to sleep.

Magnificent app which corrects your previous console command.

mold: A Modern Linker 🦠

Run frontier AI locally.

MacOS Web Server written entirely in ARM64 assembly

An ultra-light MacOS utility that helps hide menu bar icons

🇺🇦 Your meetings at your fingertips in the macOS menu bar

Modern C++ Programming Course (C++03/11/14/17/20/23/26)

🔧 pyinfra turns Python code into shell commands and runs them on your servers. Execute ad-hoc commands and write declarative operations. Target SSH servers, local machine and Docker containers. Fas…

A simple macOS application that will prevent iTunes or Apple Music from launching.

一个用于在 macOS 上平滑你的鼠标滚动效果或单独设置滚动方向的小工具, 让你的滚轮爽如触控板 | A lightweight tool used to smooth scrolling and set scroll direction independently for your mouse on macOS

The modern video player for macOS.

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.

Unlock your displays on your Mac! Flexible HiDPI scaling, XDR/HDR extra brightness, virtual screens, DDC control, extra dimming, PIP/streaming, EDID override and lots more!

Worktrunk is a CLI for Git worktree management, designed for parallel AI agent workflows