Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Structs | 46 | 9 months ago | 11 | August 06, 2023 | 2 | other | Haskell | |||
Exploring how to make a strict imperative universe in the GHC runtime system. | ||||||||||
Centrinel | 7 | 5 years ago | 5 | other | Haskell | |||||
Analyze how a C program uses memory regions |