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