- migrate-issues 8 A tool to migrate issues and pull requests from one GitHub repo to another
- coq 4 Solutions for the book Software Foundations by Benjamin C. Pierce
- mbasic99 3 A compiler for TI BASIC
- brainmess 1 An interpreter for a computer language with a naughty name.
- Refactoring 1 This is a small little repository that hopefully makes it easy to recreate each step of Fowler's Chapter 1 example.