Moritz Kiefer cocreature

Achievements

Achievements

Highlights

• Developer Program Member

Organizations

Pinned Loading

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

   Haskell bindings for LLVM

   LLVM 535 129

2. mattulbrich/llreve mattulbrich/llreve Public

   Automatic regression verification for LLVM programs

   C++ 21 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 19 1

4. robinhood robinhood Public

   A Haskell implementation of a Robinhood hashtable

   Haskell 9