Popular repositories Loading

1. Clojure-Resources Clojure-Resources Public

   Forked from matthiasn/Clojure-Resources

   Compilation of useful links and resources for learning Clojure and ClojureScript

   1

2. cryptol cryptol Public

   Forked from GaloisInc/cryptol

   Cryptol: The Language of Cryptography

   Haskell

3. HaLVM HaLVM Public

   Forked from GaloisInc/HaLVM

   The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

   Haskell

4. parallel parallel Public

   Forked from haskell/parallel

   a library for parallel programming

   Haskell

5. haskell-platform haskell-platform Public

   Forked from haskell/haskell-platform

   Haskell

6. hakaru hakaru Public

   Forked from hakaru-dev/hakaru

   A probabilistic programming language

   Haskell