Alternatives and similar repositories for kuickcheck

Users that are interested in kuickcheck are comparing it to the libraries listed below

• arrow-kt / Category-Theory-for-Programmers.kt
  Kotlin sample code for Bartosz Milewski's CT for Programmers
  ☆108Updated 3 years ago
• h0tk3y / kotlin-monads
  Monads for Kotlin
  ☆120Updated 7 years ago
• KindedJ / KindedJ
  A collection of shared interfaces for evidence-based Higher Kinded Types in the JVM
  ☆100Updated 5 years ago
• 1Jajen1 / propCheck
  Property based testing for kotlintest ported from quickcheck
  ☆34Updated 5 years ago
• arrow-kt / arrow-meta-prototype
  ☆23Updated 6 years ago
• arrow-kt / arrow-core
  Λrrow Core is part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆78Updated 4 years ago
• arrow-kt / arrow-fx
  Λrrow Fx is part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆65Updated 4 years ago
• aedans / Katalyst
  Kotlin recursion schemes with Arrow
  ☆22Updated 6 years ago
• arrow-kt / arrow-optics
  Λrrow Optics is part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆20Updated 4 years ago
• arrow-kt / arrow-check
  Λrrow Check - Property based testing in Kotlin - It's part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆25Updated 3 years ago
• 47degrees / hood
  The plugin to manage benchmarks on your CI
  ☆17Updated last year
• xebia-functional / karat
  Alloy within Kotlin
  ☆30Updated 2 years ago
• kotlinz / kotlinz
  Functional programming in Kotlin
  ☆45Updated 8 years ago
• arrow-kt / arrow-incubator
  Λrrow Incubator is part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆20Updated 3 years ago
• highj / highj
  Higher kinded types for Java
  ☆121Updated 3 years ago
• 47degrees / helios
  A purely functional JSON library for Kotlin built on Λrrow
  ☆171Updated 2 years ago
• arrow-kt / frdomain.kt
  Port to Arrow of the Code repo for Functional and Reactive Domain Modeling
  ☆30Updated 2 years ago
• arrow-kt / ank
  ΛNK: Compile time docs verification and evaluation for Kotlin and Java (Temporarily moved to Arrow-kt)
  ☆53Updated 6 years ago
• nomisRev / Continuation
  A repo to experiment with Continuation<R, A> implementations in Kotlin
  ☆13Updated 3 years ago
• 47degrees / kollect
  Simple & Efficient data access for Kotlin
  ☆33Updated 5 years ago
• spotify / dataenum
  Algebraic data types in Java.
  ☆170Updated 2 years ago
• Cotel / Android-Comonadic-UI
  An experiment for bringing Comonadic UIs to Android
  ☆17Updated 7 years ago
• xuwei-k / free-monad-java
  Free Monad in Java
  ☆29Updated 3 weeks ago
• xenomachina / kessel
  A simple parser combinator library for Kotlin
  ☆29Updated 5 years ago
• poetix / klenses
  Lenses for Kotlin
  ☆49Updated 4 years ago
• colomboe / KIO
  A simple, lightweight IO monad implementation for Kotlin with effect rotation
  ☆60Updated 2 years ago
• meoyawn / kotlin-either
  an Either type for you to fold all day
  ☆37Updated 5 years ago
• LordRaydenMK / arrow-hangman
  Functional Hangman game implemented with Kotlin and Arrow (based on https://abhsrivastava.github.io/2018/11/03/Hangman-Game-Using-ZIO/)
  ☆17Updated 6 years ago
• typelead / intellij-eta
  An Intellij Plugin for the Eta programming language
  ☆51Updated 7 years ago
• pakoito / Komprehensions
  Do comprehensions for Kotlin and 3rd party libraries [STABLE]
  ☆118Updated 6 years ago