Universal utility for programming FPGA

Tiny, Fast, and Deployable anywhere — automate the mundane, unleash your creativity

Xv6 for RISC-V

XRP: In-Kernel Storage Functions with eBPF

Operating system demonstrating system transactions

A free and strong UCI chess engine

A debloater for Python applications

A virtual list component for Svelte apps

Empower the Web community and invite more to build across platforms.

Staging repo for development of native port of TypeScript

Python integration with the Ed API

Project template for STAT-4830

The Vellvm (Verified LLVM) coq development.

Linux kernel source tree

Examples of programs built using Modal

Python packaging and dependency management made easy

Welcome to a calmer internet

Window management made elegant.

A language for writing HTML user interfaces in Go.

High performance, minimalist Go web framework

The official Meta Llama 3 GitHub site

Inference code for Llama models

Lightweight yet powerful formatter plugin for Neovim

Universal memory layer for AI Agents

OpenAI API + Ruby! 🤖❤️ GPT-5 & Realtime WebRTC compatible!

Free universal database tool and SQL client

🐻 Bear necessities for state management in React

Build & ship backends without writing any infrastructure files.