Pinned

1. hott-examples Public

   Homotopy type theory for theorem proving with univalence

   Agda 5

2. fcall Public

   function call graph generator for haskell

   Haskell

3. pureGraphdb Public

   Native haskell graph database

   Haskell

4. idris-industry/ikan Public

   build tool and package manager for idris,in idris,with free monads

   Idris 32 3

5. program-analysis-scala Public

   static analysis from Flemming Nielson's book

   Scala

6. haskellAlgo Public

   numerical Methods and other algo

   Haskell