Claferig

Support for reasoning on Clafer models by instantiation and counter example generation.
Alternatives To Claferig
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Claferig12
5 months ago15May 22, 20172mitHaskell
Support for reasoning on Clafer models by instantiation and counter example generation.
Prometheus Effect11
6 years ago2November 08, 20173otherHaskell
Yet another Haskell Prometheus client
Collocations Benchmark5
12 years agootherC++
Counting word colocations in natural language corpora. This project benchmarks naive implementations of a colocation counter in C++ and Haskell, compiled with G++ and GHC. respectively.
Alternatives To Claferig
Select To Compare


Alternative Project Comparisons
Popular Counter Projects
Popular Ghc Projects
Popular User Interface Components Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Counter
Ghc