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