Here are
56 public repositories
matching this topic...
Typing Haskell in Haskell
Updated
Apr 12, 2010
Haskell
Minimal ML language to to demonstrate the W type infererence algorithm
Updated
Mar 20, 2012
Haskell
Exercises from the Types and Programming Languages book
Updated
Apr 11, 2012
Haskell
Haskell -> BLC translator
Updated
Sep 12, 2012
Haskell
Types and Programming Languages
Updated
Aug 11, 2014
Haskell
PureScript compiler written in PureScript (On hold / inactive)
Updated
Nov 2, 2014
PureScript
Interpreter(s) for prototyping evaluation/typing rules.
Updated
Oct 23, 2016
Haskell
Types and Programming Languages
Updated
Oct 29, 2017
Haskell
Updated
Jan 23, 2018
Haskell
Small interpreter for my small language written in Haskell for MIMUW JPP course.
Updated
May 15, 2018
Haskell
Haskell Implementation of Lambda Calculus as explained in Types and Programming Languages
Updated
May 20, 2018
Haskell
WebAssembly Code Generation Backend for Idris Compiler
Updated
Jun 26, 2018
Haskell
Updated
Oct 22, 2018
Haskell
So, you want to write a DSL interpreter...
Updated
Nov 20, 2018
Haskell
Updated
Jan 3, 2019
Haskell
The Disco Discus Compiler
Updated
Feb 6, 2019
Haskell
Compiles Haskell to WebAssembly
Updated
Mar 4, 2019
Haskell
A "Mini-Haskell" functional programming language.
Updated
Jul 12, 2019
HTML
A tiny *optimising* compiler for an imperative programming language written in haskell
Updated
Aug 28, 2019
Haskell
The Java-based Hint interpreter
Updated
Aug 29, 2019
Java
Improve this page
Add a description, image, and links to the
helps
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
helps
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.