Open source repositories tagged with #term-rewriting, ranked by health score.
The Git repository for the mCRL2 toolset.
