ncc

A compiler for Cada, a purely functional programming language inspired by Haskell with syntactic sugar for the state monad

Stars

View Code on GitHub

Ecosystems: Haskell

No README available, please check again later.

Related Projects

monad-classes

A more flexible mtl

08 Jun 2014 64

thih

typing haskell in haskell

18 Sep 2022 13

joy

Compiler for the functional stack based programming language Joy

29 Dec 2019 7

haskell-ecosystem

09 Mar 2017 8

Caramel

A modern syntax for the λ-calculus.

27 Sep 2015 409

wat-frontend

A compiler frontend for WebAssembly text

13 Jan 2019 1

haskell-study-plan

An opinionated list of resources for learning Haskell

28 Sep 2018 867

mlang

My toy programming languages

26 Jun 2018 40

miller

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

01 Jan 2019 5

bayeux

eHDL

19 May 2024 0

MLem

👨🏼‍💻👅 A Tiny ML-like language for research purposes

15 Jul 2019 6

hoop

A Haskell library for object-oriented programming

22 May 2015 7

mini-haskell

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

21 Nov 2019 61

system-f-with-kind-polymorphism

System F with Kind Polymorphism

10 Aug 2015 7

th-tc

Poor man's typechecker in Template Haskell

22 Oct 2019 9