The Wayback Machine - http://web.archive.org/web/20220428184913/https://github.com/cocreature
Skip to content
Avatar

Sponsoring

Achievements

Achievements

Organizations

@llvm-hs
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

Pinned

  1. Haskell bindings for LLVM

    LLVM 437 82

  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

3,332 contributions in the last year

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

Contribution activity

April 2022

Opened 1 pull request in 1 repository
digital-asset/daml 1 merged

Created an issue in digital-asset/daml that received 1 comment

Daml Studio slows down for large scenarios

For larger scenarios, in partiuclar if they fail (but I’m not confident that’s the trigger), daml studio gets really slow to the point where even s…

1 comment
32 contributions in private repositories Apr 4 – Apr 28

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