Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Afv | 9 | 14 years ago | 7 | January 26, 2015 | other | Haskell | ||||
C model checking. | ||||||||||
Swaparoo | 8 | a year ago | Go | |||||||
package swaparoo provides a scalable way to ensure there are no handles to some resource | ||||||||||
Eaerl | 5 | 14 years ago | Erlang | |||||||
An evolutionary algorithm in Erlang |