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

Run any GUI app in the terminal❗

Molecular computers with interaction combinators like graph rewrite systems

📚 A collection of resources about supercompilation

Hacking around lack of WebUSB support in Firefox

Odin Programming Language

Waypoints to the past and future of visual programming.

Enso Analytics is a self-service data prep and analysis platform designed for data teams.

Algorithm for detecting maximum cliques in graph

Brainrot programming language interpreter

Borgo is a statically typed language that compiles to Go.

🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)

Malfunctional Programming

container image to single executable compiler

A functional, content-addressable programming language.

An HTTP/1.1 server for zig

clasp Common Lisp environment

Turns async function into sync via JavaScript wrapper of Node event loop

A massively parallel, high-level programming language

A distributed thread-per-core document database

"Randar" is an exploit for Minecraft which uses LLL lattice reduction to crack the internal state of an incorrectly reused java.util.Random in the Minecraft server, then works backwards from that t…

Unofficial errata for the global edition of Computer System: A Programmer's Perspective.

Repo for https://zig.guide content. Get up to speed with Zig quickly.

A small self-contained alternative to readline and libedit

Common Lisp implementation of algorithms

Algebraic data types in Common Lisp

A library for dense, memory-efficient tagged union arrays in Zig

Music Visualizer