💐 j is a subset of J, and an essay.

bt.sh: timechart-like tracing with bash

Modeling DNS with Alloy

the greatest emacs setup of all time

By the Bluebook implementation of Smalltalk-80

Small portable multiple-precision unsigned integer arithmetic in C

checkedthreads: no race condition goes unnoticed! Simple API, automatic load balancing, Valgrind-based checking

Sequitur and RePair grammar induction algorithms implementation

Modules to be used with Talon for hands-free input

Manual and automatic long 's' inſertion in Emacs buffers

Content-Defined Chunking, after rsync / Rabin fingerprinting / FastCDC / Ronomon's algorithm.

Encrypted personal archives

Testing common random-number generators (RNG)

Collection of test ROMs for testing a NES emulator.

a small .pdf management tool with a command-line UI

Maintainable configuration files

⚙️ Collection of one-liner static server

Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"

DFA regular expression library & friends

PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs

An implementation of contracts for Python.

Master programming by recreating your favorite technologies from scratch.

⛅ The right way to check the weather

Emacs major mode for Alloy

A prolog-like language with compound truth value logic

A simple, unoptimized, purely functional Datalog implementation.

Differential fuzzing for the masses!

Sequitur algorithm for recognizing lexical structure in strings

RetDec is a retargetable machine-code decompiler based on LLVM.

For when people get too hyped up about things