adawaylandAda binding for the Wayland Protocol libraryAda, CUnlicense6 months
fltkadaAda binding for FLTK 1.3Ada, C++Unlicense3 months
adapadNotepad clone written using FLTKAdaSunset6 months
basic-unit-testVery simple unit testing framework for Ada programsAdaSunset6 months
directed-graphDirected graph library in the style of Ada ContainersAdaSunset6 months
esotericA few interpreters for esoteric languagesHaskellUnlicense6 months
fresh-deckUtility to convert between .apkg and .fmd flashcard decksAdaSunset2 months
hunt-the-wumpusText based Hunt The WumpusPrologUnlicense6 months
opentheory-transformOpentheory proof trace optimizerHaskellUnlicense6 months
packratParser combinators that can handle ambiguous left-recursive grammarsAdaSunset6 months
simple-algorithmsCode fragments, mostly sorts and sievesVariousUnlicense6 months
sokobanBasic clone of Sokoban using FLTKAdaSunset6 months
stv-countSTV counter for Australian Senate elections 2016 or laterAdaUnlicense6 months
honda-tlm200rIn-progress translation of the service manual for a Honda TLM200RJapanese, English3 months
miniadaBeginnings of a specification for a small Ada interpreter and compilerHTML6 months
personal-websiteFiles used to generate with ComplexityJinja8 weeks
rail-mapsAbstract hypothetical maps of rail networksSVGWTFPL4 months
sunsetSunset software licenseEnglishCustom6 months
ternary-logicTernary logic gate schematicsLTspiceWTFPL6 months
cgitplusplusRegular cgit plus fields for language and licenseCGPLv26 months
fresh-memoryFresh Memory flashcard program version 1.5.0C++GPLv36 months
truecryptTruecrypt version 7.1a for UnixC++Truecrypt6 months