Kind
Proof system
A proof language and theorem prover built in Haskell
A modern proof language
4k stars
74 watching
142 forks
Language: Haskell
last commit: almost 2 years agodependent-typesformalityfunctional-programminglambda-calculusmoonadproof-languageproof-languagestheorem-provertype-theory
Related projects:
| Repository | Description | Stars |
|---|---|---|
 lexi-lambda/higher-rank | A Haskell implementation of type checking and evaluation for higher-rank polymorphism | 101 |
 ollef/bidirectional | An implementation of bidirectional type checking for higher-rank polymorphism in Haskell | 129 |
 thma/whyhaskellmatters | Explaining why Haskell's unique features make it an important language for software development | 470 |
 bodigrim/smallcheck | A testing library that checks Haskell code properties exhaustively using automatic test case generation | 134 |
 xodio/hm-def | Enables runtime type checking for JavaScript functions using Hindley-Milner signatures | 198 |
 rudymatela/fitspec | Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement. | 74 |
 unkindpartition/tasty | A modern testing framework for Haskell | 643 |
 thejohnfreeman/autocheck | A C++17 testing library for property-based testing using QuickCheck or SmallCheck. | 125 |
 detachhead/basedpyright | An improved version of Pyright with enhanced type checking and support for popular IDEs | 1,300 |
 zeeman/promises | A type checking library for Python that uses a promise-based syntax to validate function arguments and return types. | 0 |
 kotlinisland/basedmypy | A Python static type checker with additional features to improve typing and error reporting. | 148 |
 jsmonk/sweet-monads | Provides a set of monads and interfaces for working with lazy iterators in TypeScript | 346 |
 felixthec/strongtyping | A decorator that checks function parameters at runtime for correct type compatibility. | 111 |
 klinovp/owlproofs | Provides an extension to the OWL API to retrieve proof structures of entailment relationships from reasoners. | 0 |
 well-typed/unfolder | A repository providing code snippets to illustrate key concepts in Haskell programming | 85 |