thih

typing haskell in haskell

OTHER License

Stars

View Code on GitHub

Ecosystems: Haskell

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

Related Projects

th-tc

Poor man's typechecker in Template Haskell

22 Oct 2019 9

SecurityAdvisoriesBuilder-hs

12 Sep 2018 2

hoop

A Haskell library for object-oriented programming

22 May 2015 7

joy

Compiler for the functional stack based programming language Joy

29 Dec 2019 7

Idris

A language with dependent types

28 Apr 2010 7

hascalam

Haskell to and from Scalameta

30 May 2024 0

tilec

Sometimes when I feel sad I implement a dependently typed lambda calculus.

27 Feb 2020 15

ncc

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

17 Jun 2013 5

mini-haskell

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

21 Nov 2019 61

henk

Pure Type Systems for Functional Programming

18 Sep 2013 32

lambdascript

Ugly prototype language for strongly typed, lazy, purely functional client side web scripting

12 Nov 2010 25

hap-hs

Haskell [re]implementation of Hap, a simple event-based programming language.

23 Sep 2017 9

exhaustive

Compile time checks that a computation considers producing data through all possible constructors

09 Jan 2015 10

cabal-audit

29 Jul 2023 6

cofun

Cofun with Cofree Comonads

18 May 2015 30