Popular repositories Loading

1. neural neural Public

   Neural Nets in native Haskell

   Haskell 124 17

2. protop protop Public

   topos programming

   Haskell 31 2

3. stack2cabal stack2cabal Public

   creating a cabal new-build configuration from a stack configuration

   Haskell 12 2

4. simple-plutus simple-plutus Public

   Simple, idealized version of the Plutus smart contract language in Haskell.

   Haskell 10 5

5. pell pell Public

   Haskell Package to solve the Generalized Pell Equation

   Haskell 5 1

6. heap heap Public

   dependently typed Haskell heaps

   HTML 5