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