gkaracha
Software engineer and researcher in the field of programming languages' design and implementation.
@tweagNetherlands
Pinned Repositories
bidirectional-impl
Implementation of Bidirectional Type Class Instances
books-to-get-a-hold-of
Books I'd like to acquire.
eff
A functional programming language based on algebraic effect handlers
EFF-OOPSLA2021
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
pure-btc
A pure Haskell implementation of the Bitcoin Core.
quantcs-impl
Implementation of Quantified Class Constraints
gkaracha's Repositories
gkaracha/quantcs-impl
Implementation of Quantified Class Constraints
gkaracha/pure-btc
A pure Haskell implementation of the Bitcoin Core.
gkaracha/bidirectional-impl
Implementation of Bidirectional Type Class Instances
gkaracha/books-to-get-a-hold-of
Books I'd like to acquire.
gkaracha/eff
A functional programming language based on algebraic effect handlers
gkaracha/EFF-OOPSLA2021
gkaracha/Etsy-Engineering-Career-Ladder
Etsy's Engineering Career Ladder
gkaracha/gadtpm-example
GADT pattern matching example. Provided by Erik Hesselink.
gkaracha/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/gkaracha.github.io
George D. Karachalias' Home Page
gkaracha/icfp2017-papers
Link to preprints for ICFP'17 and colocated events
gkaracha/KHC
KU Leuven Haskell Compiler
gkaracha/modusponens-prototype
A prototype implementation of NeColus with the modus ponens rule.
gkaracha/mutate-ocaml
Toy mutating tool for OCaml programs.
gkaracha/opensource
Open Source: What it is and How to Contribute
gkaracha/outsideinx-evidence
Specification and Implementation of OutsideIn(X) with Evidence Annotations
gkaracha/rel8
Hey! Hey! Can u rel8?
gkaracha/things-and-stuff.art
George Karachalias' Home Page
gkaracha/wai-middleware-auth
Authentication middleware that secures WAI application