adawaylandAda binding for the Wayland Protocol libraryAda, CUnlicense3 months
fltkadaAda binding for FLTK 1.3Ada, C++Unlicense3 months
adapadNotepad clone written using FLTKAdaSunset3 months
basic-unit-testVery simple unit testing framework for Ada programsAdaSunset3 months
directed-graphDirected graph library in the style of Ada ContainersAdaSunset3 months
esotericA few interpreters for esoteric languagesHaskellUnlicense3 months
hunt-the-wumpusText based Hunt The WumpusPrologUnlicense3 months
opentheory-transformOpentheory proof trace optimizerHaskellUnlicense3 months
packratParser combinators that can handle ambiguous left-recursive grammarsAdaSunset3 months
simple-algorithmsCode fragments, mostly sorts and sievesVariousUnlicense3 months
sokobanBasic clone of Sokoban using FLTKAdaSunset3 months
stv-countSTV counter for Australian Senate elections 2016 or laterAdaUnlicense3 months
honda-tlm200rIn-progress translation of the service manual for a Honda TLM200RJapanese, English28 hours
miniadaBeginnings of a specification for a small Ada interpreter and compilerHTML3 months
personal-websiteFiles used to generate with ComplexityJinja4 weeks
rail-mapsAbstract hypothetical maps of rail networksSVGWTFPL4 weeks
sunsetSunset software licenseEnglishCustom3 months
ternary-logicTernary logic gate schematicsLTspiceWTFPL3 months
cgitplusplusRegular cgit plus fields for language and licenseCGPLv23 months
fresh-memoryFresh Memory flashcard program version 1.5.0C++GPLv33 months
truecryptTruecrypt version 7.1a for UnixC++Truecrypt3 months