miller

a little ML, implemented from SPJ’s “Implementing Functional Languages"

BSD-3-CLAUSE License

Stars

View Code on GitHub

Ecosystems: Haskell

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

Related Projects

Manifold

Another experiment in dependently typed languages, this time with some quantitative type theory s...

20 May 2018 18

ncc

A compiler for Cada, a purely functional programming language inspired by Haskell with syntactic ...

17 Jun 2013 5

lambda

An exploration and implementation of the lambda calculus.

31 Jan 2016 12

prio

Plucky Runtime IO

14 Oct 2020 13

mini-haskell

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

21 Nov 2019 61

haskell-study-plan

An opinionated list of resources for learning Haskell

28 Sep 2018 867

czz

Whole-program, Scheme-scriptable, multi-language, coverage-guided fuzzer

22 Aug 2022 6

stepeval

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

04 Feb 2010 50

mtl-c

Monad transformers in CPS

09 Mar 2013 11

coatl

silly dependently-typed language

13 Aug 2013 2

applicative-quoters

(no longer maintained) Quasiquoters for working with Control.Applicative, taken from haskell-src-...

21 Dec 2010 12

purescript-interop

Generate Purescript types from Haskell

28 Jan 2016 7

th-tc

Poor man's typechecker in Template Haskell

22 Oct 2019 9

cha

A port of miniprl to Haskell with co-/inductive types bolted on the side.

14 Apr 2016 22

joy

Compiler for the functional stack based programming language Joy

29 Dec 2019 7