matthew's git lair
a variety of git repos that I've either written, contributed to, or found interesting
index
Name
Description
Owner
Idle
wedge.git
A drop-dead simple lightbox.
git repository hosting
19 months
wtd.git
what-to-do, a simple calendaring system
git repository hosting
19 months
xprint.git
xprint prints to xerox4, in batch
git repository hosting
19 months
yaepl-app.git
Electron app for YAEPL and Javascript. Develop '17
git repository hosting
19 months
yaepl.git
Yet Another Educational Programming Language (or two!)
git repository hosting
19 months
z3fc.git
A simple proof assistant, thought of as a front-end to SMT solvers
git repository hosting
19 months
[1]
[2]
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback