xebia-functional / karatLinks
Alloy within Kotlin
☆30Updated 2 years ago
Alternatives and similar repositories for karat
Users that are interested in karat are comparing it to the libraries listed below
Sorting:
- Unwrapped is an effects library for Scala 3 that introduces structured concurrency and an abilities system to describe pure functions and…☆38Updated 2 years ago
- Λrrow Optics is part of Λrrow, a functional companion to Kotlin's Standard Library☆20Updated 4 years ago
- Effect Handlers for Java / the JVM☆29Updated 5 years ago
- Hoogle-like searches for Scala 3 and Kotlin☆92Updated last year
- An Intellij Plugin for the Eta programming language☆51Updated 7 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
- ☆108Updated last year
- Port to Arrow of the Code repo for Functional and Reactive Domain Modeling☆30Updated 2 years ago
- Fast streams for Scala 3☆56Updated 9 months ago
- A brief presentation comparing Scala with Kotlin aimed toward Scala FP devs at 47 Degrees☆40Updated 5 years ago
- Higher kinded data in Scala☆20Updated 7 months ago
- A Direct-Style Scala Wrapper Around the Structured Concurrency of Project Loom☆32Updated 2 weeks ago
- Λrrow Incubator is part of Λrrow, a functional companion to Kotlin's Standard Library☆20Updated 3 years ago
- Dhall generic decoder for Scala☆46Updated 11 months ago
- A Docker client that hopefully won't be a pain in the butt.☆14Updated last year
- ☆37Updated 6 years ago
- ☆29Updated 5 years ago
- Dhall for Java☆178Updated last year
- ☆22Updated 3 years ago
- Catless Category Theory in Dotty/Scala 3 meow ~☆44Updated 2 years ago
- Type-safe Queries☆53Updated 2 years ago
- Kotest extensions for Arrow☆40Updated 9 months ago
- ☆19Updated 3 years ago
- Finished Book of Monads by Alejandro Serrano-Mena☆27Updated 5 years ago
- Uniform test interface to Scala test frameworks (specs, ScalaCheck, ScalaTest)☆14Updated last month
- ☆10Updated last week
- Object algebras vs. free monads, or type classes vs. ADTs☆17Updated 8 years ago
- A collection of shared interfaces for evidence-based Higher Kinded Types in the JVM☆100Updated 5 years ago
- ☆25Updated 4 years ago
- Kotlin sample code for Bartosz Milewski's CT for Programmers☆108Updated 3 years ago