acfoltzer/ihaskell-notebook
Public repository.
Haskell library for manipulating Minecraft saved world data
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Public repository.
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)
DepQBF, a solver for quantified boolean formulae (QBF).
Introductory lens presentation