KindedJ / KindedJ
A collection of shared interfaces for evidence-based Higher Kinded Types in the JVM
☆98Updated 4 years ago
Alternatives and similar repositories for KindedJ:
Users that are interested in KindedJ are comparing it to the libraries listed below
- Port to Arrow of the Code repo for Functional and Reactive Domain Modeling☆30Updated 2 years ago
- A simple, lightweight IO monad implementation for Kotlin with effect rotation☆60Updated last year
- Free Monad in Java☆28Updated 2 weeks ago
- Tagged Unions for the Java 8 connoisseur☆56Updated 8 years ago
- Higher kinded types for Java☆116Updated 2 years ago
- Kotlin sample code for Bartosz Milewski's CT for Programmers☆106Updated 3 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
- A brief presentation comparing Scala with Kotlin aimed toward Scala FP devs at 47 Degrees☆40Updated 5 years ago
- Algebraic data types in Java.☆168Updated last year
- Λrrow Fx is part of Λrrow, a functional companion to Kotlin's Standard Library☆66Updated 4 years ago
- Vavr integration for Kotlin☆80Updated 4 years ago
- A simple parser combinator library for Kotlin☆29Updated 4 years ago
- Kotlin recursion schemes with Arrow☆22Updated 6 years ago
- Better initial-style DSLs in Kotlin☆33Updated last month
- Monads for Kotlin☆120Updated 6 years ago
- Higher Kinded Type machinery for Java☆82Updated 3 years ago
- Plugin to show slides and code examples directly from IntelliJ IDEs☆21Updated 4 years ago
- A functional library for Kotlin that provides functional control structures. Inspired by javaslang☆22Updated 8 years ago
- Property based testing for kotlintest ported from quickcheck☆34Updated 5 years ago
- Simple & Efficient data access for Kotlin☆33Updated 4 years ago
- Typed String Interpolation for Kotlin☆43Updated last week
- Alloy within Kotlin☆30Updated last year
- adt4j - Algebraic Data Types for Java☆145Updated 7 years ago
- A collections of extension functions to make the JVM Future, CompletableFuture, ListenableFuture API more functional and Kotlin like.☆84Updated 6 years ago
- Immutables encodings for Vavr☆33Updated 4 years ago
- A purely functional JSON library for Kotlin built on Λrrow☆170Updated 2 years ago
- Power assertions (as known from Groovy and Spock) for the Scala language.☆188Updated 6 years ago
- A property based testing framework for Kotlin☆24Updated 7 years ago
- The plugin to manage benchmarks on your CI☆17Updated 10 months ago
- Kotest extensions for Arrow☆40Updated 2 months ago