Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Reading | 2,285 | 2 years ago | 7 | mit | ||||||
A list of computer-science readings I recommend | ||||||||||
Bolt | 494 | 5 months ago | 14 | mit | OCaml | |||||
Bolt is a language with in-built data-race freedom! | ||||||||||
Dingo Hunter | 305 | a year ago | 1 | January 10, 2019 | 18 | apache-2.0 | Go | |||
Static analyser for finding Deadlocks in Go | ||||||||||
Migo | 10 | 4 years ago | 1 | April 19, 2019 | 1 | apache-2.0 | Go | |||
MiGo types library in Go | ||||||||||
Goncurrency Analysis Framework | 8 | 6 years ago | 1 | August 19, 2017 | apache-2.0 | Go | ||||
Demo tool for Go concurrency analysis framework |