C++ is the based interpreted language

📺🗿 Terminal graphics for the 21st century.

A reimplementation of Macroscript in Rust, aiming to be as accurate as possible.

Portable file server with accelerated resumable uploads, dedup, WebDAV, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file, no deps

shared memory via mutable defaults

All my code guessing entries

The first ever roguelike written in the OCaml type system

A programming language inspired by Rust

Weighs the soul of incoming HTTP requests to stop AI crawlers

multitasking operating system for fox32

A NES emulator written in C# for playing back TASes

a polysemantic language for code with multitudes of meaning

5D Diplomacy With Multiverse Time Travel

Building a graph of the Internet, one button at a time

in case I forget one

rational approximation table of percentages

Invertible multi-precision pseudo random number generator example

Fusil is a multi-agent Python library used to write fuzzing programs

(pronounced "except") The exceptional golfing language.

Windows' "Active Windows" watermark for Linux

Agda is a dependently typed programming language / interactive theorem prover.

discord starboard bot

IP3—three words for any IPv4 address

loadable extension for doing IO in SQLite

A command-line tool for generating pretty images using flood fills and related algorithms

A fully compliant RISC-V computer made inside the game Terraria

Lambda calculus? In my type system? It's more likely than you think.