pcf

A small compiler for PCF

MIT License

Stars
118
View Code on GitHub
Ecosystems: Haskell

Statistics for this project are still being loaded, please check back later.

Related Projects
malc

Make a lambda calculus.

24 Apr 2017 86
haskell-rascal

Learning haskell with a rascal!

24 Mar 2014 13
Caramel

A modern syntax for the λ-calculus.

27 Sep 2015 409
hpp

hpp - A Haskell Preprocessor

05 Dec 2017 9
acme-pcf-specification

17 Dec 2019 13
mini-haskell

A self-hosting mini Haskell compiler with a mini C runtime.

21 Nov 2019 61
eopl

Implementation of the languages from the EOPL textbook in Haskell and Standard ML.

24 Feb 2019 15
fp-course

Functional Programming Course

30 Jun 2011 1,027
phage

The Phage Programming Language

05 Apr 2018 10
hasktran

A compiler for FRACTRAN written in Haskell.

19 Jan 2020 5
stepeval

A program for evaluating a Haskell expression step-by-step

04 Feb 2010 50
pLam

An interpreter for learning and exploring pure λ-calculus

05 Aug 2017 446