A collection of shared interfaces for evidence-based Higher Kinded Types in the JVM
☆100May 11, 2020Updated 5 years ago
Alternatives and similar repositories for KindedJ
Users that are interested in KindedJ are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Higher Kinded Type machinery for Java☆82Feb 28, 2022Updated 4 years ago
- ☆13Oct 2, 2021Updated 4 years ago
- The plugin to manage benchmarks on your CI☆17May 16, 2024Updated last year
- Property based testing for kotlintest ported from quickcheck☆34Jan 23, 2020Updated 6 years ago
- Free Monad in Java☆30Feb 24, 2026Updated 3 weeks ago
- Kotlin monadic future implementation based on coroutines☆43Mar 27, 2017Updated 8 years ago
- Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses…☆578Dec 1, 2022Updated 3 years ago
- ☆13Dec 21, 2016Updated 9 years ago
- Kotlin recursion schemes with Arrow☆22Jan 25, 2019Updated 7 years ago
- Mu - Purely Functional Microservices for Kotlin☆17Apr 24, 2019Updated 6 years ago
- Λrrow Core is part of Λrrow, a functional companion to Kotlin's Standard Library☆79Feb 18, 2021Updated 5 years ago
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Aug 11, 2023Updated 2 years ago
- The search of the pragmatic Klean Architecture!☆26Mar 30, 2017Updated 8 years ago
- composable regular expressions based on Kleene algebras and recursion schemes☆14Oct 6, 2021Updated 4 years ago
- Kotlin sample code for Bartosz Milewski's CT for Programmers☆108Mar 9, 2022Updated 4 years ago
- An experiment for bringing Comonadic UIs to Android☆17Oct 15, 2018Updated 7 years ago
- Gradle plugin to measure build times. Let's measure how long developers around the world are compiling software.☆74Jan 16, 2026Updated 2 months ago
- A template project for Arrow on MPP. It defines an application and a couple small examples☆16Mar 16, 2026Updated last week
- Functional programming in Kotlin☆47Feb 19, 2017Updated 9 years ago
- Lightweight Optionals for Java 7☆50Apr 29, 2016Updated 9 years ago
- Dragon Ball character rest API written in Scala using Play framework☆15Jul 10, 2016Updated 9 years ago
- The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming☆6,532Updated this week
- Functional programming ideas for Groovy☆15Jul 17, 2015Updated 10 years ago
- A brief presentation comparing Scala with Kotlin aimed toward Scala FP devs at 47 Degrees☆40Dec 23, 2019Updated 6 years ago
- Kotest extensions for Arrow☆40Feb 2, 2025Updated last year
- adt4j - Algebraic Data Types for Java☆148Mar 2, 2018Updated 8 years ago
- Implementation of a Renderer pattern for Android☆14Jun 26, 2018Updated 7 years ago
- Port to Arrow of the Code repo for Functional and Reactive Domain Modeling☆30Apr 4, 2023Updated 2 years ago
- Android project using RxJava, Hexagonal architecture and MVP☆40Feb 27, 2015Updated 11 years ago
- Kotlin NonEmptyList☆14Sep 23, 2019Updated 6 years ago
- A purely functional JSON library for Kotlin built on Λrrow☆171Feb 13, 2023Updated 3 years ago
- SCIP indexer for Kotlin. Implemented as a SemanticDB compiler plugin.☆25Updated this week
- A simple to-do web application in Eta using Spock web framework and Lucid DSL☆17Jul 29, 2018Updated 7 years ago
- An advanced, but easy to use, platform for writing functional applications in Java 8.☆1,332Mar 21, 2023Updated 3 years ago
- Automatic derivation of functional-java typeclasse instances and optics☆22Feb 6, 2020Updated 6 years ago
- Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.☆58Jul 30, 2022Updated 3 years ago
- A lightweight wrapper written in Kotlin for Discord API using Arrow☆11Oct 23, 2021Updated 4 years ago
- A simple parser combinator library for Kotlin☆29Oct 5, 2020Updated 5 years ago
- A JVM bytecode assembler written in Haskell.☆35May 15, 2016Updated 9 years ago