mike-neck / kuickcheckLinks
A property based testing framework for Kotlin
☆24Updated 8 years ago
Alternatives and similar repositories for kuickcheck
Users that are interested in kuickcheck are comparing it to the libraries listed below
Sorting:
- Kotlin sample code for Bartosz Milewski's CT for Programmers☆108Updated 3 years ago
- Λrrow Optics is part of Λrrow, a functional companion to Kotlin's Standard Library☆20Updated 4 years ago
- Monads for Kotlin☆120Updated 6 years ago
- Simple & Efficient data access for Kotlin☆33Updated 4 years ago
- Λrrow Check - Property based testing in Kotlin - It's part of Λrrow, a functional companion to Kotlin's Standard Library☆25Updated 3 years ago
- Kotlin recursion schemes with Arrow☆22Updated 6 years ago
- A collection of shared interfaces for evidence-based Higher Kinded Types in the JVM☆98Updated 5 years ago
- A simple, lightweight IO monad implementation for Kotlin with effect rotation☆60Updated 2 years ago
- Free Monad in Java☆29Updated last week
- Λrrow Fx is part of Λrrow, a functional companion to Kotlin's Standard Library☆65Updated 4 years ago
- Λrrow Core is part of Λrrow, a functional companion to Kotlin's Standard Library☆78Updated 4 years ago
- ☆23Updated 5 years ago
- Alloy within Kotlin☆30Updated last year
- Gradle plugin for compiling Frege projects☆25Updated 3 years ago
- Property based testing for kotlintest ported from quickcheck☆34Updated 5 years ago
- Λrrow Incubator is part of Λrrow, a functional companion to Kotlin's Standard Library☆20Updated 3 years ago
- Port to Arrow of the Code repo for Functional and Reactive Domain Modeling☆30Updated 2 years ago
- A simple parser combinator library for Kotlin☆29Updated 4 years ago
- Frege support for IntelliJ IDEA☆14Updated 8 years ago
- Functional Hangman game implemented with Kotlin and Arrow (based on https://abhsrivastava.github.io/2018/11/03/Hangman-Game-Using-ZIO/)☆17Updated 5 years ago
- Higher kinded types for Java☆118Updated 3 years ago
- A purely functional JSON library for Kotlin built on Λrrow☆171Updated 2 years ago
- Functional programming in Kotlin☆44Updated 8 years ago
- ΛNK: Compile time docs verification and evaluation for Kotlin and Java (Temporarily moved to Arrow-kt)☆53Updated 6 years ago
- Gradle plugin for the Eta programming language☆30Updated 3 years ago
- Kotlin Functors, Applicatives, And Monads in Pictures☆34Updated 8 years ago
- ☆13Updated 8 years ago
- An Intellij Plugin for the Eta programming language☆52Updated 6 years ago
- Algebraic data types in Java.☆169Updated last year
- Effect Handlers for Java / the JVM☆30Updated 5 years ago