close
The Wayback Machine - https://web.archive.org/web/20200906235737/https://github.com/cocreature
Skip to content
Avatar
  • Block or report user

    Report or block cocreature

    Hide content and notifications from this user.

    Learn more about blocking users

    Contact Support about this user’s behavior.

    Learn more about reporting abuse

    Report abuse
133 followers · 22 following · 239

Highlights

Organizations

@llvm-hs

Pinned

  1. llvm-hs/llvm-hs

    Haskell bindings for LLVM

    LLVM 357 60

  2. mattulbrich/llreve

    Automatic regression verification for LLVM programs

    C++ 12 6

  3. zkboo-hs

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

    Haskell 16

  4. robinhood

    A Haskell implementation of a Robinhood hashtable

    Haskell 8

3,953 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

September 2020

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

Fix flakiness in multi-key tests

There are two sources of flakiness and I’ve seen both on CI: We can get more than one offset at the beginning if things are too slow. This is addr…

+20 −9 • 2 comments

Created an issue in digital-asset/daml that received 7 comments

Party ID handling is a mess

We have more and more ledgers where you cannot choose parties freely and need to rely on whatever party id you get back from the party management s…

7 comments

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

You can’t perform that action at this time.