Bidirectional
by ollef
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
AI summary
Type checker
An implementation of bidirectional type checking for higher-rank polymorphism in Haskell
- stars
- 129
- forks
- 12
- watching
- 9
Similar projects
Found by comparing what the projects do, not just their names.
Type checker
A Haskell implementation of type checking and evaluation for higher-rank polymorphism
Grammar parser
A Haskell implementation of Earley's algorithm for parsing context-free grammars.
Type constructor
A language-agnostic way to define algebraic data types using polynomials.
Property tester
Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement.
hspec/hspec755
Haskell tester
A testing framework for Haskell programming language
Property tester
Automated testing of program properties in Haskell programs.
Type-level set library
A Haskell library providing data structures and operations for working with sets and maps at the type level
Property tester
A testing library that checks Haskell code properties exhaustively using automatic test case generation
Type checker
A decorator that checks function parameters at runtime for correct type compatibility.
Parser library
A parser combinator library designed to be industrial-strength and easy to use
Type checker
A Python library that simplifies type checking and validation in object-oriented coding
Type checker
Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure
Type checker
A decorator that checks function arguments and return types at runtime.
Homomorphism compiler
A compiler for homomorphic encryption languages
