Skip to content
View cocreature's full-sized avatar
157 followers · 21 following

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: Public SponsorAchievement: Pull Sharkx4Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: Public SponsorAchievement: Pull Sharkx4Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Highlights

Organizations

@llvm-hs
Block or Report

Block or report cocreature

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

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

    Haskell bindings for LLVM

    LLVM 500 117

  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 8