ggreif/EuroLLVM-Waymarking
Slides for talk
Developer Profile
ggreif
Discovered public repositories for ggreif in the GitHub catalog.
ggreif/packages-time
Mirror of packages-time repository. DO NOT SUBMIT PULL REQUESTS HERE
ggreif/hitanium-cxx-abi
Utility routines for Itanium C++ ABI conventions
ggreif/reddit-i18n
reddit's translation files - USE TRANSIFEX TO SUBMIT TRANSLATIONS. Direct pull requests to this repository will, generally, be rejected.
ggreif/non-standard
Non-standard numbers for Haskell
ggreif/sing-tree
Type-indexed trees where all keys should be singletons
ggreif/seminar-opetope
Short Intro to Opetopes
ggreif/icfp2013-papers
List of ICFP'13 accepted papers, with links to preprint or additional information when available
ggreif/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Trac (http://hackage.haskell.org/trac/ghc) or sent to the mailing list (ghc-devs@haskell.org)
ggreif/names-for-free
Public repository.
ggreif/flockig
Experiments with the LogicT monad transformer
ggreif/vector
Efficient arrays in Haskell
ggreif/kansas-lava
Kansas Lava
ggreif/exists
Existential datatypes holding evidence of constraints
ggreif/indexed
Indexed Functors for GHC 7.6
ggreif/type-vis
Creates a diagram from a type
ggreif/dynamic-loader
Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.
ggreif/Blog
It's a blog. Insert clever Haskell type signature here.