Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Seahorn | 391 | 5 months ago | 20 | other | C | |||||
SeaHorn Verification Framework | ||||||||||
Memoro | 157 | 3 years ago | 5 | mit | CSS | |||||
Memoro: A Detailed Heap Profiler | ||||||||||
Lfvm Stg | 45 | 5 years ago | bsd-3-clause | Haskell | ||||||
Map lazy functional language constructs to LLVM IR | ||||||||||
Wasm Malloc | 23 | a year ago | mit | C | ||||||
malloc/free for WebAssembly | ||||||||||
Dhop | 7 | 5 years ago | C | |||||||
Discover Heap OPeration | ||||||||||
F2 | 5 | 6 years ago | 2 | mpl-2.0 | Kotlin | |||||
Language with a compile time memory management algorithm targeting the LLVM |