Skip to content


Block or Report

Block or report cocreature

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

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

Report abuse


  1. Haskell bindings for LLVM

    LLVM 449 85

  2. Automatic regression verification for LLVM programs

    C++ 18 6

  3. zkboo-hs Public

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

    Haskell 17 1

  4. robinhood Public

    A Haskell implementation of a Robinhood hashtable

    Haskell 9

2,983 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Activity overview
Contributed to digital-asset/daml, digital-asset/json-api, digital-asset/ghc and 21 other repositories

Contribution activity

August 2022

Created a pull request in digital-asset/daml that received 7 comments

Support exercise without actor in Scala codegen

changelog_begin changelog_end

+353 −305 7 comments
Opened 1 other pull request in 1 repository
digital-asset/daml 1 merged
Reviewed 26 pull requests in 3 repositories
digital-asset/daml 23 pull requests
cocreature/nanovg-hs 2 pull requests
digital-asset/ghc 1 pull request
Opened 1 issue in 1 repository
201 contributions in private repositories Aug 1 – Aug 17

Seeing something unexpected? Take a look at the GitHub profile guide.