Select a tag to browse associated projects and drill deeper into the tag cloud.
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]
Tailor is a tool to migrate changesets between ArX, Bazaar, Bazaar-NG, CVS, Codeville, Darcs, Git, Mercurial, Monotone, Perforce, Subversion and Tla repositories.
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]
DVC is a common Emacs front-end for a number of distributed version control systems. It currently supports GNU Arch, Bazaar, git, Mercurial, and Monotone.
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.
This is the code repository for the TLA Game Engine. All code is available for download by clicking the Source tab at the top. Our Google Group Code Analysis