Starred Repositories
Browse starred repositories
Sort: Recently starred
-
💐 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
-
Run ELF binary code read from standard input.
-
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.