th-tc

Poor man's typechecker in Template Haskell

BSD-3-CLAUSE License

Downloads

1.4K

Stars

Committers

View Code on GitHub

Ecosystems: Haskell

No README available, please check again later.

Package Rankings

Top 36.19% on Hackage.haskell.org

Related Projects

hlatex

LaTeX document builder for Haskell

06 Mar 2011 5

haskell-ebml

Pure parser for rfc-8794

19 Jan 2023 4

purescript-interop

Generate Purescript types from Haskell

28 Jan 2016 7

singleton-typelits

Singletons and induction schemes for GHC TypeLits.

14 Dec 2017 3

yoctoparsec

A truly tiny monadic parsing library

04 Feb 2016 28

finite-typelits

A type inhabited by finitely many values, indexed by type-level naturals.

03 Nov 2015 8

cloud-haskell-example

Example application with Cloud Haskell.

27 Jun 2016 5

purjs

[WIP] wrapper for running purescript compiler in browser

10 Oct 2020 9

presentations

Presentations on Liquid Haskell, type theory, and more

28 Oct 2016 43

simple-haskell-minifier

Simple Haskell Minifier

25 Feb 2023 5

functional-kmp

KMP implemented on haskell's built-in cons-cell-based lists.

29 Aug 2015 6

discord-eval

A discord frontend for an interactive interpreter bot

18 Jan 2019 20

thih

typing haskell in haskell

18 Sep 2022 13

mchost

A Minecraft server in Haskell.

17 Sep 2011 7

tdoc

TDoc is a typed document builder with support for (X)HTML

06 Mar 2011 4