Awesome Open Source

Programming Languages

Search results for haskell typechecker

20 search results found

Hypertypes ⭐ 104

Hypertypes - generic programming for heterogeneous recursive types

Sound And Complete ⭐ 81

An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system

Higher Rank ⭐ 77

A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism

Typechecker Evolution ⭐ 44

The Evolution of a Typechecker

Haskell Tc ⭐ 35

Haskell typechecker

Tandoori ⭐ 30

Compositional type checking for Haskell

Uom Plugin ⭐ 28

Units of measure as a GHC typechecker plugin

Typesystem ⭐ 15

Experiments using a bidirectional typesystem

Typelits Printf ⭐ 15

Type-safe printf from parsing GHC TypeLits Symbol

Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories

🐲 Boost your efficiency: Make your computer work for you

A toy Parser+Compiler+Typechecker

Subtyping ⭐ 10

An implementation of structural subtyping of records and functions

Typing Haskell in Haskell

Magic Typelevel Elem ⭐ 9

Demonstrating how to make type families faster using typechecker plugins

COnstraint-BAsed Little Typechecker

Daily Typecheckers ⭐ 9

I'm writing a typechecker every day

Simple Calculus In Haskell With Typechecker And Parser ⭐ 7

Type Indexed Queues ⭐ 7

Queues with verified and unverified versions

Typed Lua Core ⭐ 5

GSOC 2016 Typed Lua Core Typechecker

Related Searches

Haskell Ghc (1,280)

Types Haskell (1,028)

Language Haskell (853)

Haskell Functional Programming (811)

Haskell Monad (681)

Haskell Hackage (574)

Haskell Stack (554)

Haskell Programming (549)

Haskell Bindings (444)

Javascript Haskell (398)

1-20 of 20 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.