Project Name	Stars	Repos Using This	Most Recent Commit	Total Releases	Latest Release	Open Issues	License	Language
Uom Plugin	28	1	2 years ago	6	October 09, 2022	24		Haskell
Units of measure as a GHC typechecker plugin
Typelits Printf	15		4 years ago			1	bsd-3-clause	Haskell
Type-safe printf from parsing GHC TypeLits Symbol
Tcplugins Zurihac2020	10		4 years ago			2		HTML
ZuriHac 2020 GHC typechecker plugins project
Magic Typelevel Elem	9		3 years ago					Haskell
Demonstrating how to make type families faster using typechecker plugins

Alternatives To Tcplugins Zurihac2020

Select To Compare

Uom Plugin ⭐ 28

Units of measure as a GHC typechecker plugin

total releases 6most recent commit 2 years ago

Typelits Printf ⭐ 15

Type-safe printf from parsing GHC TypeLits Symbol

most recent commit 4 years ago

Tcplugins Zurihac2020 ⭐ 10

ZuriHac 2020 GHC typechecker plugins project

most recent commit 4 years ago

Magic Typelevel Elem ⭐ 9

Demonstrating how to make type families faster using typechecker plugins

most recent commit 3 years ago

Suggest An Alternative To tcplugins-zurihac2020

Alternative Project Comparisons

Tcplugins Zurihac2020 vs Uom Plugin

Tcplugins Zurihac2020 vs Typelits Printf

Tcplugins Zurihac2020 vs Magic Typelevel Elem

Popular Typechecker Projects

Typescript ⭐ 97,675

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

dependent packages 559,981total releases 2,904latest release December 09, 2023most recent commit 17 days ago

Mypy ⭐ 17,070

Optional static typing for Python

dependent packages 6,707total releases 112latest release November 23, 2023most recent commit 3 months ago

Pyre Check ⭐ 6,606

Performant type-checking for python.

dependent packages 31total releases 77latest release October 19, 2023most recent commit 3 months ago

Pytype ⭐ 4,464

A static type analyzer for Python code

dependent packages 107total releases 193latest release December 08, 2023most recent commit 3 months ago

Ezno ⭐ 1,994

A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance

dependent packages 3total releases 10latest release November 20, 2023most recent commit 3 months ago

Popular Ghc Projects

Semantic ⭐ 8,425

Parsing, analyzing, and comparing source code across many languages

total releases 8latest release July 18, 2022most recent commit 2 years ago

Xmonad ⭐ 3,191

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

most recent commit 3 months ago

Ghc ⭐ 2,874

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contribu

total releases 3latest release October 14, 2021most recent commit 10 months ago

Ghcjs ⭐ 2,560

Haskell to JavaScript compiler, based on GHC

total releases 3latest release July 10, 2017most recent commit a year ago

Haskell Language Server ⭐ 2,507

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

total releases 49latest release October 10, 2023most recent commit 3 months ago

Popular Compilers Categories

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Html

Plugin

Slides

Ghc

Bibliography

Typechecker

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.