personal-websiteFiles used to generate with ComplexityJinja4 weeks
fresh-deckUtility to convert between .apkg and .fmd flashcard decksAdaSunset6 months
fltkadaAda binding for FLTK 1.3Ada, C++Unlicense6 months
honda-tlm200rIn-progress translation of the service manual for a Honda TLM200RJapanese, English7 months
rail-mapsAbstract hypothetical maps of rail networksSVGWTFPL8 months
truecryptTruecrypt version 7.1a for UnixC++Truecrypt10 months
fresh-memoryFresh Memory flashcard program version 1.5.0C++GPLv310 months
ternary-logicTernary logic gate schematicsLTspiceWTFPL10 months
sunsetSunset software licenseEnglishCustom10 months
stv-countSTV counter for Australian Senate elections 2016 or laterAdaUnlicense10 months
sokobanBasic clone of Sokoban using FLTKAdaSunset10 months
simple-algorithmsCode fragments, mostly sorts and sievesVariousUnlicense10 months
packratParser combinators that can handle ambiguous left-recursive grammarsAdaSunset10 months
opentheory-transformOpentheory proof trace optimizerHaskellUnlicense10 months
miniadaBeginnings of a specification for a small Ada interpreter and compilerHTML10 months
hunt-the-wumpusText based Hunt The WumpusPrologUnlicense10 months
esotericA few interpreters for esoteric languagesHaskellUnlicense10 months
directed-graphDirected graph library in the style of Ada ContainersAdaSunset10 months
cgitplusplusRegular cgit plus fields for language and licenseCGPLv210 months
adawaylandAda binding for the Wayland Protocol libraryAda, CUnlicense10 months
adapadNotepad clone written using FLTKAdaSunset10 months
basic-unit-testVery simple unit testing framework for Ada programsAdaSunset10 months