adawaylandAda binding for the Wayland Protocol libraryJed Barber6 months
fltkadaAda binding for FLTK 1.3Jed Barber8 weeks
adapadNotepad clone written in Ada using FLTKJed Barber2 months
esotericA few interpreters for esoteric languagesJed Barber18 months
hunt-the-wumpusText based Hunt The Wumpus written in PrologJed Barber11 months
opentheory-transformOpentheory proof trace optimizerJed Barber11 months
simple-algorithmsCode fragments, mostly sorts and sievesJed Barber11 months
sokobanBasic clone of Sokoban using FLTKJed Barber2 months
stv-countSTV counter for Australian Senate elections 2016 or laterJed Barber8 months
miniadaBeginnings of a specification for a small Ada interpreter and compilerJed Barber8 months
personal-websiteFiles used to generate with ComplexityJed Barber8 weeks
sunsetSunset software licenseJed Barber11 months
ternary-logicTernary logic gate schematicsJed Barber12 months