Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
Proposed compiler and language changes for GHC and GHC/Haskell
-
A Tiny Fragment of Feldspar (and MiniFeldspar) Suitable for Pedagogical Purposes
-
GHC version of haskell-src-exts exactPrint
-
Native Metaprogramming in Haskell
-
Supporting Material for the paper "Embedding-By-Normalisation"
-
Resource-AWare Feldspar
-
Agda is a dependently typed programming language / interactive theorem prover.
-
Attribute Grammars on Graphs
-
A mirror of wl-pprint fixed for GHC 7.10.2
-
A Dependently Typed Functional Programming Language