| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| seahorn/seahorn | 391 | 0 | 0 | over 2 years ago | 0 | 20 | other | C | ||
| SeaHorn Verification Framework | ||||||||||
| epfl-vlsc/memoro | 157 | 0 | 0 | about 5 years ago | 0 | 5 | mit | CSS | ||
| Memoro: A Detailed Heap Profiler | ||||||||||
| jfaure/lfvm-stg | 45 | 0 | 0 | almost 7 years ago | 0 | 0 | bsd-3-clause | Haskell | ||
| Map lazy functional language constructs to LLVM IR | ||||||||||
| maxkl/wasm-malloc | 23 | 0 | 0 | about 3 years ago | 0 | 0 | mit | C | ||
| malloc/free for WebAssembly | ||||||||||
| twd2/dhop | 7 | 0 | 0 | almost 7 years ago | 0 | 0 | C | |||
| Discover Heap OPeration | ||||||||||
| phase/f2 | 5 | 0 | 0 | almost 8 years ago | 0 | 2 | mpl-2.0 | Kotlin | ||
| Language with a compile time memory management algorithm targeting the LLVM | ||||||||||
