Bidirectional
Type checker
An implementation of bidirectional type checking for higher-rank polymorphism in Haskell
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
129 stars
9 watching
12 forks
Language: Haskell
last commit: about 4 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 lexi-lambda/higher-rank | A Haskell implementation of type checking and evaluation for higher-rank polymorphism | 101 |
| ollef/earley | A Haskell implementation of Earley's algorithm for parsing context-free grammars. | 365 |
 typedefs/typedefs | A language-agnostic way to define algebraic data types using polynomials. | 366 |
 rudymatela/fitspec | Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement. | 74 |
 ethanhs/python-typecheckers | A comprehensive collection of Python type checkers, categorized by syntax and execution time. | 62 |
 hspec/hspec | A testing framework for Haskell programming language | 751 |
 nick8325/quickcheck | Automated testing of program properties in Haskell programs. | 726 |
 dorchard/type-level-sets | A Haskell library providing data structures and operations for working with sets and maps at the type level | 66 |
 bodigrim/smallcheck | A testing library that checks Haskell code properties exhaustively using automatic test case generation | 134 |
 felixthec/strongtyping | A decorator that checks function parameters at runtime for correct type compatibility. | 108 |
 haskell/parsec | A parser combinator library designed to be industrial-strength and easy to use | 847 |
 contains-io/typet | A Python library that simplifies type checking and validation in object-oriented coding | 22 |
 i-am-tom/learn-me-a-haskell | Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure | 70 |
 emludei/checktype | A decorator that checks function arguments and return types at runtime. | 0 |
 cpeikert/alchemy | A compiler for homomorphic encryption languages | 66 |