1Jajen1 / propCheck
Property based testing for kotlintest ported from quickcheck
☆34Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for propCheck
- ☆23Updated 5 years ago
- Lambda.World Cádiz 2018 Workshop - Encoding Functional web services using Arrow and Ktor☆41Updated 6 years ago
- The plugin to manage benchmarks on your CI☆17Updated 6 months ago
- ΛNK: Compile time docs verification and evaluation for Kotlin and Java (Temporarily moved to Arrow-kt)☆53Updated 5 years ago
- Better initial-style DSLs in Kotlin☆34Updated this week
- Embeddable component for running Kotlin's Arrow library code snippets☆21Updated last year
- Monads for Kotlin☆120Updated 6 years ago
- Λrrow Fx is part of Λrrow, a functional companion to Kotlin's Standard Library☆65Updated 3 years ago
- Lenses for Kotlin☆48Updated 3 years ago
- A purely functional JSON library for Kotlin built on Λrrow☆169Updated last year
- Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.☆58Updated 2 years ago
- Kotlin training repository used to learn Kotlin and Functional Programming by solving some common katas using just purely functional prog…☆135Updated 3 years ago
- Sample project demonstrating how to create a basic Kotlin compiler plugin.☆27Updated 7 years ago
- UI Automator Gesture Generation DSL☆17Updated 7 years ago
- Kotest extensions for Arrow☆40Updated 3 months ago
- Arrow Endpoint offers a composable Endpoint datatype, that allows us easily define an Endpoint from which we can derive clients, servers …☆24Updated last week
- Android sample project demonstrating how to generate Kotlin code through annotation processing, and then feeding it into a second round o…☆24Updated 7 years ago
- Λrrow Check - Property based testing in Kotlin - It's part of Λrrow, a functional companion to Kotlin's Standard Library☆25Updated 2 years ago
- WIP. Rekkit is a proof of concept for Android using Kotlin + Actors+ Kategory☆22Updated 7 years ago
- Typeful functional programming in Kotlin☆12Updated 7 years ago
- Kotlin sample code for Bartosz Milewski's CT for Programmers☆105Updated 2 years ago
- Λrrow Core is part of Λrrow, a functional companion to Kotlin's Standard Library☆81Updated 3 years ago
- Port to Arrow of the Code repo for Functional and Reactive Domain Modeling☆30Updated last year
- Λrrow Ank is part of Λrrow, a functional companion to Kotlin's Standard Library☆13Updated 3 years ago
- RxJava extensions for Arrow's Data Types☆16Updated 3 years ago
- Do comprehensions for Kotlin and 3rd party libraries [STABLE]☆117Updated 5 years ago
- A collection of shared interfaces for evidence-based Higher Kinded Types in the JVM☆98Updated 4 years ago