George Karachalias's repositories
quantcs-impl
Implementation of Quantified Class Constraints
bidirectional-impl
Implementation of Bidirectional Type Class Instances
books-to-get-a-hold-of
Books I'd like to acquire.
Etsy-Engineering-Career-Ladder
Etsy's Engineering Career Ladder
gadtpm-example
GADT pattern matching example. Provided by Erik Hesselink.
ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). We will accept easily-reviewed documentation changes as GitHub Pull Requests.
gkaracha.github.io
George D. Karachalias' Home Page
icfp2017-papers
Link to preprints for ICFP'17 and colocated events
KHC
KU Leuven Haskell Compiler
modusponens-prototype
A prototype implementation of NeColus with the modus ponens rule.
mutate-ocaml
Toy mutating tool for OCaml programs.
opensource
Open Source: What it is and How to Contribute
outsideinx-evidence
Specification and Implementation of OutsideIn(X) with Evidence Annotations
rel8
Hey! Hey! Can u rel8?
things-and-stuff.art
George Karachalias' Home Page
wai-middleware-auth
Authentication middleware that secures WAI application