Skip to content
View kantp's full-sized avatar

Organizations

@MinaProtocol

Block or report kantp

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. liquidhaskell-tutorial liquidhaskell-tutorial Public

    Some examples using Liquid Haskell

    5 2

  2. ice ice Public

    ice -- the Ibp ChoosEr Given a number of integration-by-parts identities, this program will filter a maximal linearly independent subset.

    Haskell 2

  3. proof-systems proof-systems Public

    Forked from o1-labs/proof-systems

    The proof systems used by Mina

    Rust 1

  4. mtl mtl Public

    Forked from haskell/mtl

    The Monad Transformer Library

    Haskell

  5. heroku-buildpack-ghc heroku-buildpack-ghc Public

    Forked from begriffs/heroku-buildpack-ghc

    Deploy Haskell apps to Heroku

    Shell

  6. vector-heterogenous vector-heterogenous Public

    Forked from mikeizbicki/vector-heterogenous

    Arbitrary size tuples in Haskell

    Haskell 1