The Lean Computer Science Library (CSLib)

The Git repository for the mCRL2 toolset.

A collection of tools for generating, manipulating and - most of all - solving parity games.

Create and revise bibtex entries from DBLP

TChecker is an open-source verification tool for timed automata

A tool for solving the satisfiability and validity problems for modal fixpoint logics.

MaDL Design & Verification Tools

Emacs mode for editing mCRL2 and MCF files

Clone of http://git.chromium.org/external/googletest.git with Xcode fixes.