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

Sponsoring

Achievements

Achievements

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

  1. Haskell bindings for LLVM

    LLVM 432 80

  2. Automatic regression verification for LLVM programs

    C++ 17 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. A Haskell implementation of a Robinhood hashtable

    Haskell 9

3,578 contributions in the last year

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

Contribution activity

February 2022

Created 1 repository

Created a pull request in tweag/rules_nixpkgs that received 28 comments

Support registering a Java toolchain for Bazel 5

My toolchain understanding is very superficial but this seems to work for us on https://github.com/digital-asset/daml and from what I can tell (via…

+810 −5 28 comments
Reviewed 151 pull requests in 3 repositories
digital-asset/daml 145 pull requests
digital-asset/ghc 5 pull requests
tweag/rules_nixpkgs 1 pull request

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

Fix auth0 docs to work with Daml 2.0’s create-daml-app

We have some docs for setting up auth0 in https://docs.daml.com/ops/connect/auth0.html as well as support in create-daml-app for working with auth0…

10 comments
11 contributions in private repositories Feb 3 – Feb 21