Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Theverificationofdistributedsystem | 147 | 7 years ago | 1 | |||||||
Accompanying Repository for The Verification of a Distributed System Talk | ||||||||||
Torxakis | 37 | 3 years ago | 322 | other | Haskell | |||||
A tool for Model Based Testing | ||||||||||
Ricon2014 | 34 | 7 years ago | 1 | |||||||
This repo contains the reference materials to my RICON 2014 talk |