Vim-fork focused on extensibility and usability

Nix, the purely functional package manager

Official documentation for getting things done with Nix.

TUI for Jujutsu/jj

A scrollable-tiling Wayland compositor.

A Git-compatible VCS that is both simple and powerful

Like Apache Bench for benchmarking websites, but using 10,000 concurrent connections instead of 100

A modern runtime for JavaScript and TypeScript.

Generate TypeScript interfaces from a SQL database.

Next-generation ORM for Node.js & TypeScript | PostgreSQL, MySQL, MariaDB, SQL Server, SQLite, MongoDB and CockroachDB

A fast dependency injector for Android and Java.

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

‼️ A complete primer on the whys and hows of todo.txt.

SICP in Guile & Emacs Lisp

Code for A Programmer's Introduction to Mathematics

mal - Make a Lisp

🌐 Front End interview preparation materials for busy engineers (updated for 2025)

📚 List of awesome university courses for learning Computer Science!

TEI XSL Stylesheets

📚 List of books to master JavaScript Development 🚀

A list of helpful front-end related questions you can use to interview potential candidates, test yourself or completely ignore.

The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.

William Whitaker's WORDS, a Latin dictionary

Kippo - SSH Honeypot

Instructions and scripts related to getting NixOS running on a newer generation MBP

A strongly-typed language that compiles to JavaScript

The Honey Badger of BFT Protocols

Minimal and clean examples of machine learning algorithms implementations