Pinned Loading

1. llvm-hs/llvm-hs llvm-hs/llvm-hs Public

   Haskell bindings for LLVM

   LLVM 526 126

2. mattulbrich/llreve mattulbrich/llreve Public

   Automatic regression verification for LLVM programs

   C++ 19 6

3. zkboo-hs zkboo-hs Public

   Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.

   Haskell 18 1

4. robinhood robinhood Public

   A Haskell implementation of a Robinhood hashtable

   Haskell 9