Software Engineering Toolbox

We're big fans of knowing that our software does what we think it does. We also like the idea of software being easy to write and maintain. These are the packages we've produced to help make writing software easier, safer, more reliable, and faster.

Catechesis

Your one-stop shop for multi-implementation testing.
Learn more

Roundabout

A very nice message-passing architectire.
Coming soon.

Edsger

Our buildbot.
Coming a bit later...