Aki Helin

radamsa. a general-purpose fuzzer

blab. a grammar-based data generator

led. a text editor (mirror + issues)

mindo. executable λ-calclulus

ni. C

err. a toy theorem prover for combinatory logic

covfu. a simple coverage assisted fuzzing driver

myy. a baby owl for microprocessors

opus. a content manager

kal. a text-based calendar tool

sky. Simple Console Starmap