1689 projects published
A course that teaches Kubernetes by posing each chapter as the evolution of a startup experiencing a problem and showing how Kubernetes solves it, with the reader cast as the technical manager in the situation. It focuses on the high-level details and motivations of Kubernetes rather than being super in-depth, and was built with the help of Claude Opus.
A data-flow-based, lightweight formal verification engine for application security, described as 'SAST++'. It provides deep enough analysis for real formal guarantees about a codebase (so zero findings actually mean something), runs fast enough to shift formal verification left and apply it to every feature during development (including agentic development sessions), and supports writing expressive, customizable specs for most OWASP Top 10 vulnerability types such as Broken Access Control and business logic flaws. Includes skills for writing specs.
A Russian life simulator game, vibe-coded with AI assistance.
A Lean-based formal proof effort for the ABC conjecture, presented as the IUT LEAN Fable and vibe-coded.
This project provides infrastructure for hosting static webpages with built-in options for storing data, managing users, sending notifications, and shared "rooms", all exposed behind an MCP. It is built almost entirely from AWS static services, keeping the cost at practically $0.
Rimpark is a multiplayer browser game launched about 1.5 years ago. Its gameplay is being improved with new mechanics and bug fixes, developed with the help of a self-hosted GLM 5.3 Flash model and an agentic coding system that implements features end-to-end with light human code review.
An internal tool the author vibed together that handles inventory tracking and rental asset management well enough for their team, though it is closer to a prettier, semi-automated version of their existing spreadsheets than a true CRM.
This project performs signal analysis to drive desired signal-triggered actions, grouping, categorizing, and stratifying signals into useful buckets. It addresses shortcomings of blind source separation, which repeatedly guesses at sources and labels them as brand new, by keeping a memory of previously identified sources so distinctions persist across samples, analogous to how humans can tell pianos from drums and remember the distinction across songs.
pg-restic is a small Docker container that backs up Postgres databases to S3, B2, or any S3-compatible storage using restic. It runs pg_dumpall on a cron schedule and streams the dump directly into a restic repository so nothing touches local disk. It produces encrypted, deduplicated snapshots with retention policies and daily pruning, and no snapshot is saved if a dump fails. It ships pg_dumpall 18, supporting Postgres versions from 9.2 to 18.
This project provides sysadmin AI agents that run on machines 30 years old, written entirely in legacy Perl. It supports legacy operating systems such as HP-UX, OpenStep, Solaris 8, Tru64, Irix, old Linux, and legacy FreeBSD/NetBSD, includes an optional Tk desktop interface, and ships a proxy for modern TLS.
A game programming language that makes games multiplayer automatically. Every program written in Easel is guaranteed deterministic and snapshottable, which it uses to perform rollback netcode automatically. The rollback is incremental, storing deltas of only what has changed via a copy-on-write mechanism, making it efficient for games where players roam large mostly-sleeping worlds. Ongoing work focuses on making the multiplayer even more efficient so beginner coders can build large multiplayer games without worrying about networking.
AI for Science platform that lets users design, simulate and test new battery chemistries, new drugs, and other science with the same ease as building software with coding agents. It connects to scientific compute and a network of labs so science can be done end-to-end from a computer.
A simple a la carte fax service for sending faxes.
A service for sending physical mail online, avoiding a trip to stand in line at the post office.
A service for custom greeting cards, with the message inside written by a 3D printer holding a pen.
An open source Linux app that helps users build healthy computer habits and routines by blocking sites and apps based on a schedule and tracking activity for later analysis.
An interactive web globe that uses plate tectonic data to show where a location was on Earth hundreds of millions of years ago. It features high-resolution maps, a timeline, and country names and borders, with examples such as Pangaea.
This project reverse engineers and replaces the entire software stack on a Samsung Galaxy A54 (Exynos 1380, Mali-G68). It boots a customized Linux kernel with no Android layer (Wayland and WPE WebKit only), replaces the vendor Wi-Fi/Bluetooth blob with a custom thin WLBT firmware built on mac80211, and uses a USB control transfer exploit to gain code execution in the PBL. It also reconstructs the LK-based S-Boot, uH, and harx bootloaders with byte-identical verification, patches mesa/panfrost, optimizes kernels so STT/TTS runs faster on GPU than CPU, and utilizes the NPU via a custom-built toolchain, all while running pKVM to get rid of the original hypervisors. The goal is full device ownership: no binary blobs and the ability to change software and control hardware on the fly.
Stagecraft is a CI framework built on top of Hera (the Argo Workflows Python SDK) that provides CI "primitives" to make it easier for teams to build CI pipelines on Argo Workflows.
A series of hard puzzle books featuring sudoku, killer sudoku, and wordsearches restricted to five letters per grid. Every logic puzzle comes with an online step-by-step walkthrough showing how to solve it, and custom software generates, tests, and verifies the puzzles against difficulty requirements.
A VR survival horror game for Meta Quest 3/3S that uses a realtime environment mesh reconstruction algorithm to approximate the real world's 3D geometry and project a hand-tracked dummy flashlight. Runs at 60fps within a tight GPU budget, scales to various environments, and a handheld AR-style iOS port is planned next.
This Chrome extension improves the YouTube experience by removing distractions such as Shorts and cluttered search results, and adds tools and shortcuts including a volume booster, screenshot tool, quick access to Picture-in-Picture, and playback speed controls. It also includes an option to stop comment GIFs from autoplaying, playing them on demand instead.
A SaaS platform for teachers and schools to create, conduct, and grade exams and tests, with safe exam browser integration to prevent cheating. Grading is automatic for almost all segment types, with optional AI integration for free-form text and an MCP server that lets teachers bring their own LLM with fine-grained permission controls. It is hosted in the EU, with licensed self-hosting options for schools.
ArtCraft and the Craft Apps are an open-source ecosystem spanning software, SaaS, infrastructure, model weights, platforms, and protocols. The project bridges local and cloud compute, operates as an app factory for high-throughput development, provides reverse-engineering tools for non-technical people, publishes high-quality libraries others can remix, and makes everything agentic and AI/CLI-first.
An alternative VM engine plugin for Apple's container system built on libkrun. Its main purpose is returning memory back to macOS when the VM releases it, and it offers better performance in some areas. It has only been tested on the builder's M1 laptop, and nested support has not been added yet.
A plugin that runs a full Docker system inside Apple Container machines, with automatic localhost port forwarding, automatic shutdown when nothing is running, and an exposed TCP socket so most existing tools work by simply exporting the DOCKER_HOST environment variable.
A DSL and interpreter for behavior-tree-style scripting in a game, built to allow player scripts and dogfooded for enemy AI. Stateful typed builders were split into an untyped AST and a typed IR, and a TypeScript schema -> codegen build step generates .ts/.rs code.
An Astro plugin that serves Marimo notebooks inside an Astro static site, letting notebooks be embedded in statically generated websites.
A project that aims to answer how much an individual's vote is worth.
This web app attempts to map oil infrastructure around the world.