A slight upgrade to the Gremlins in your code

Versatile typeface for code, from code.

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.

🐦 Bringing animated parrots to terminals everywhere

Cross platform terminal library rust

A fast type checker and language server for Python

Sioyek is a PDF viewer with a focus on textbooks and research papers

A markdown terminal slideshow tool

Jupyter notebooks in the terminal

A Git-compatible VCS that is both simple and powerful

Staging repo for development of native port of TypeScript

Transform data, train models, and run SQL with marimo — feels like a next-gen reactive notebook, stored as Git-friendly reproducible Python. Deploy as scripts, pipelines, endpoints, and apps. All f…

FFMPEG Assembly Language Lessons

Tetris in a PDF (in most browsers)

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

Python tool for converting files and office documents to Markdown.

A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree

Shrinkray is a modern multi-format test-case reducer

Model Context Protocol Servers

An extremely fast Python package and project manager, written in Rust.

A new markup-based typesetting system that is powerful and easy to learn.

A massively parallel, optimal functional runtime in Rust

Distribute and run LLMs with a single file.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

ShellCheck, a static analysis tool for shell scripts

The Modular Platform (includes MAX & Mojo)

Inference code for Llama models