Alternatives and similar repositories for propCheck

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

• arrow-kt / arrow-meta-prototype
  ☆23Updated 5 years ago
• arrow-kt / arrow-fx
  Λrrow Fx is part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆66Updated 4 years ago
• arrow-kt / arrow-core
  Λrrow Core is part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆80Updated 4 years ago
• arrow-kt / arrow-playground
  Embeddable component for running Kotlin's Arrow library code snippets
  ☆21Updated 2 years ago
• 47degrees / ArrowInPractice
  Lambda.World Cádiz 2018 Workshop - Encoding Functional web services using Arrow and Ktor
  ☆41Updated 6 years ago
• 47degrees / helios
  A purely functional JSON library for Kotlin built on Λrrow
  ☆170Updated 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
• h0tk3y / kotlin-monads
  Monads for Kotlin
  ☆120Updated 6 years ago
• 47degrees / hood
  The plugin to manage benchmarks on your CI
  ☆17Updated 11 months ago
• kotest / kotest-extensions-arrow
  Kotest extensions for Arrow
  ☆40Updated 3 months ago
• arrow-kt / arrow-meta-examples
  Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
  ☆58Updated 2 years ago
• pakoito / Komprehensions
  Do comprehensions for Kotlin and 3rd party libraries [STABLE]
  ☆118Updated 6 years ago
• poetix / klenses
  Lenses for Kotlin
  ☆49Updated 4 years ago
• javipacheco / rekkit
  WIP. Rekkit is a proof of concept for Android using Kotlin + Actors+ Kategory
  ☆22Updated 7 years ago
• arrow-kt / Category-Theory-for-Programmers.kt
  Kotlin sample code for Bartosz Milewski's CT for Programmers
  ☆107Updated 3 years ago
• lenguyenthanh / RxArrow
  RxJava extensions for Arrow's Data Types
  ☆16Updated 3 years ago
• nomisRev / Continuation
  A repo to experiment with Continuation<R, A> implementations in Kotlin
  ☆13Updated 3 years ago
• Takhion / sample-kotlin-compiler-plugin
  Sample project demonstrating how to create a basic Kotlin compiler plugin.
  ☆27Updated 8 years ago
• arrow-kt / arrow-ank
  Λrrow Ank is part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆13Updated 4 years ago
• arrow-kt / arrow-endpoint
  Arrow Endpoint offers a composable Endpoint datatype, that allows us easily define an Endpoint from which we can derive clients, servers …
  ☆24Updated last week
• mttkay / kats
  Typeful functional programming in Kotlin
  ☆12Updated 7 years ago
• arrow-kt / frdomain.kt
  Port to Arrow of the Code repo for Functional and Reactive Domain Modeling
  ☆30Updated 2 years ago
• pedrovgs / KotlinKatas
  Kotlin training repository used to learn Kotlin and Functional Programming by solving some common katas using just purely functional prog…
  ☆136Updated 3 years ago
• higherkindness / mu-kt
  Mu - Purely Functional Microservices for Kotlin
  ☆17Updated 6 years ago
• KindedJ / KindedJ
  A collection of shared interfaces for evidence-based Higher Kinded Types in the JVM
  ☆98Updated 5 years ago
• serras / inikio
  Better initial-style DSLs in Kotlin
  ☆35Updated last week
• Takhion / generate-kotlin-multiple-rounds
  Android sample project demonstrating how to generate Kotlin code through annotation processing, and then feeding it into a second round o…
  ☆25Updated 8 years ago
• 47degrees / kollect
  Simple & Efficient data access for Kotlin
  ☆33Updated 4 years ago
• aballano / FAM-Playground
  Kotlin Functors, Applicatives, And Monads in Pictures
  ☆34Updated 7 years ago
• Guardiola31337 / uiagesturegen
  UI Automator Gesture Generation DSL
  ☆17Updated 7 years ago