ghc
Here are 166 public repositories matching this topic...
Haskell implementation of an interpreter for the Brainiac programming language
-
Updated
Oct 15, 2015 - Haskell
Hot swapping compiled code while keeping a websocket connection open
-
Updated
May 24, 2016 - Haskell
Additional operations for GHC's type-level symbols
-
Updated
Oct 2, 2016 - Haskell
pesca: Proof Editor for Sequent Calculus (mirror)
-
Updated
Dec 2, 2016 - Haskell
Vim Haskell GHC compiler plugin [official]
-
Updated
Dec 8, 2016 - Vim Script
A racket #lang for System F that, after some macro expansion, is translated into GHC Core IR. Mostly proof of concept
-
Updated
Feb 6, 2017 - Racket
GHC IO manager for Windows using completion ports
-
Updated
May 6, 2017 - Haskell
(No longer maintained) Analysis work of my thesis
-
Updated
Jun 18, 2017 - Python
An experiment on applying automated type-level equation reasoning techniques to guiding type normalization of GHC.
-
Updated
Oct 14, 2017 - Haskell
'Spoon' errors to `Maybe` in Haskell, with primops
-
Updated
Nov 22, 2017 - HTML
Improve this page
Add a description, image, and links to the ghc topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the ghc topic, visit your repo's landing page and select "manage topics."