Vegard Nossum

prog-fuzz. Compiler/source code fuzzing tool using AFL instrumentation

126

sha1-sat. SAT instance generator for SHA-1

52

rgbds-linux. Rednex GameBoy Development System

33

cnf-utils. Dimacs CNF utilities

20

v. toy language/compiler

18

clsat. OpenCL SAT solver

16

libx86. C++ interface to x86/x86-64 registers and data structures

15

beach-gbc. Beach (GameBoy Color demo)

14

mkbtcaddr. Generate encrypted bitcoin keypair

11

openssh-portable. Portable OpenSSH

6

blender-lba. Import LBA1 HQR files in Blender

6

pwman. JavaScript Password Manager

5

linux-2.6-archive. Linux 2.6

5

cafebabe. a light-weight Java-class-file loader library in C

4

scribe. A 3D pixel engine/game

4

pixel-art. Procedural pixel art rendering

3

pldata. Project Legilimensia (Harry Potter MUD) Data

3

cmpsat. Mladen Nikolić's tool for comparing sample runtime distributions of SAT solvers

3

sha1-collision. SHA1 collision visualisation

2

cnf3d. CNF 3D visualiser

2

trick2. sound synthesizer and sequencer

2

minisat-www. MiniSat in a browser

2

openbrain. Brain simulation

2

trick. sound synthesizer and sequencer

2

satxx11. Parallel SAT solver

1

sat2013-cryptocompo. SAT 2013 “Crypto Competition” proposal

1

hiragana. Hiragana tutor

1

medici. Medici - The Da Vinci Journals (GBA)

1

auto-qa. Automatic testing of the linux kernel

1

libcxxrt. libcxxrt port for the Linux kernel

1

spaceinv. More Space Invaders

1

pledge-of-conduct. Pledge of Conduct

1

siglemic.net. Source code for siglemic.net website

1

able. "Able" is a challenging, physics-based puzzle game where your task is to climb to the top using only the strength of your arms.

1

bitcoin. Bitcoin integration/staging tree

1