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