The BuildBot is a system to automate the compile/test cycle required by most software projects to validate code changes. By automatically rebuilding and testing the tree each time something has changed, build problems are pinpointed quickly, before other developers are inconvenienced by the failure.
... [More] The guilty developer can be identified and harassed without human intervention. By running the builds on a variety of platforms, developers who do not have the facilities to test their changes everywhere before checkin will at least know shortly afterwards whether they have broken the build or not. Warning counts, lint checks, image size, compile time, and other build parameters can be tracked over time, are more visible, and are therefore easier to improve. [Less]
vcs-load-dirs is a tool to automate and simplify the loading of software into version control systems. It is designed primarily for importing from a non-version-controlled upstream, such as processing release tarballs.
While a bit of scripting can help some version control systems achieve a basic
... [More] version of this, vcs-load-dirs often does better than that, especially concerning renames. vcs-load-dirs supports baz (bazaar), darcs, git, mercurial (hg), svk, and tla (arch). [Less]
LIASAS is a small research project aimed at creating a tool capable of describing indexed automata strengtened by action semantics, and applying algorithms on them.
For instance, this tool should be able to determine whether two ASIA are compatible, combine them if it is the case, and output TLA+ code.