Kind
A modern proof language
AI summary
Proof system
A proof language and theorem prover built in Haskell
- stars
- 3.6K
- forks
- 142
- watching
- 74
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
Type checker
An implementation of bidirectional type checking for higher-rank polymorphism in Haskell
Haskell explanation
Explaining why Haskell's unique features make it an important language for software development
Property tester
A testing library that checks Haskell code properties exhaustively using automatic test case generation
xodio/hm-def198
Type checker
Enables runtime type checking for JavaScript functions using Hindley-Milner signatures
Property tester
Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement.
test suite manager
A modern testing framework for Haskell
Property tester
A C++17 testing library for property-based testing using QuickCheck or SmallCheck.
Type checker
An improved version of Pyright with enhanced type checking and support for popular IDEs
Type checker
A type checking library for Python that uses a promise-based syntax to validate function arguments and return types.
Type checker
A Python static type checker with additional features to improve typing and error reporting.
Monad library
Provides a set of monads and interfaces for working with lazy iterators in TypeScript
Type checker
A decorator that checks function parameters at runtime for correct type compatibility.
Entailment proof checker
Provides an extension to the OWL API to retrieve proof structures of entailment relationships from reasoners.
Haskell tutorial snippets
A repository providing code snippets to illustrate key concepts in Haskell programming
