fp-ts-laws
Type class laws
A collection of type class laws for property-based testing
fp-ts type class laws for property based testing
81 stars
5 watching
7 forks
Language: TypeScript
last commit: about 2 years ago
Linked from 1 awesome list
fp-tsproperty-based-testing
dubzzz/awesome-fast-checkRelated projects:
| Repository | Description | Stars |
|---|---|---|
| gcanti/monocle-ts | A TypeScript implementation of a functional programming approach to working with nested data structures | 1,045 |
| gcanti/elm-ts | A TypeScript port of The Elm Architecture using RxJS and React | 300 |
 gcaptn/tincan | A BDD testing library for Deno written in TypeScript | 36 |
 typeetfunc/runtypes-generate | Generates arbitrary data types for property-based testing | 41 |
 leddgroup/ts-types-utils | A set of reusable type utility functions for TypeScript | 61 |
 tool-belt/type-predicates | A collection of utilities for creating and working with type-guards and assertions in TypeScript. | 54 |
 jozefg/learn-tt | A collection of resources for learning type theory and related fields | 2,180 |
 ycjcl868/eslint-gpt | Automates the creation of custom ESLint rules using OpenAI's GPT model and Vercel Edge Functions. | 212 |
 unional/type-plus | A collection of utility types and adjusted utilities for enhancing TypeScript development | 380 |
 mistlog/typetype | A TypeScript library for generating complex types from functional logic | 418 |
 lysxia/first-class-families | A library providing a foundation for type-level functions and compositions in Haskell | 87 |
 typelevel/simulacrum | A library that simplifies the use of type classes in Scala | 935 |
 tpolecat/cats-infographic | A visual representation of a typeclass hierarchy for functional programming concepts related to cats. | 461 |
 gvanastasov/codebook-typescript | A comprehensive guide to learning TypeScript through interactive examples and explanations. | 8 |
 thomasaribart/json-schema-to-ts | Tool to automatically generate TypeScript types from JSON schema definitions. | 1,493 |