Introducing luzer, a coverage-guided Lua fuzzing engine

Git as a Storage

TLA+ on OpenBSD