Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Claferig | 12 | 5 months ago | 15 | May 22, 2017 | 2 | mit | Haskell | |||
Support for reasoning on Clafer models by instantiation and counter example generation. | ||||||||||
Prometheus Effect | 11 | 6 years ago | 2 | November 08, 2017 | 3 | other | Haskell | |||
Yet another Haskell Prometheus client | ||||||||||
Collocations Benchmark | 5 | 12 years ago | other | C++ | ||||||
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. |