xebia-functional / karatLinks
Alloy within Kotlin
☆30Updated last year
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 last year
- Hoogle-like searches for Scala 3 and Kotlin☆91Updated 9 months ago
- A brief presentation comparing Scala with Kotlin aimed toward Scala FP devs at 47 Degrees☆40Updated 5 years ago
- Easily modify parts of larger data structures☆61Updated 10 months ago
- ☆108Updated last year
- Fast streams for Scala 3☆52Updated 4 months ago
- A Docker client that hopefully won't be a pain in the butt.☆14Updated 11 months ago
- Λrrow Optics is part of Λrrow, a functional companion to Kotlin's Standard Library☆20Updated 4 years ago
- Catless Category Theory in Dotty/Scala 3 meow ~☆43Updated 2 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
- ☆37Updated 5 years ago
- Dhall generic decoder for Scala☆46Updated 6 months ago
- Kotest extensions for Arrow☆40Updated 4 months ago
- ☆20Updated 5 years ago
- An experimental effect system in Scala that tracks effects through context functions☆88Updated last week
- A Giter8 template for a basic Dotty application build using ZIO☆17Updated 10 months ago
- An Intellij Plugin for the Eta programming language☆52Updated 6 years ago
- Porting of the Raise DSL from the Arrow Kt Kotlin library☆62Updated 2 weeks ago
- A case-insensitive string for Scala☆40Updated 2 weeks ago
- A demo of a full-stack Scala application with the Typelevel stack☆30Updated last year
- Type-safe Queries☆53Updated last year
- A lightweight HTTP server for the Loom generation using Scala☆11Updated 4 months ago
- Extensible effects for Scala☆37Updated 2 years ago
- Higher kinded data in Scala☆20Updated 3 months ago
- A simple, lightweight IO monad implementation for Kotlin with effect rotation☆60Updated last year
- The exercises for the Functional Data Modeling workshop.☆60Updated 4 years ago
- Black-box testing of stateful systems using properties☆16Updated 2 years ago
- Effect Zoo for Scala☆41Updated last week
- A collection of shared interfaces for evidence-based Higher Kinded Types in the JVM☆98Updated 5 years ago
- A Direct-Style Scala Wrapper Around the Structured Concurrency of Project Loom☆28Updated 2 weeks ago