xebia-functional / karat
Alloy within Kotlin
☆29Updated last year
Alternatives and similar repositories for karat:
Users that are interested in karat are comparing it to the libraries listed below
- Unwrapped is an effects library for Scala 3 that introduces structured concurrency and an abilities system to describe pure functions and …☆37Updated last year
- Λrrow Check - Property based testing in Kotlin - It's part of Λrrow, a functional companion to Kotlin's Standard Library☆25Updated 2 years ago
- A brief presentation comparing Scala with Kotlin aimed toward Scala FP devs at 47 Degrees☆40Updated 5 years ago
- Porting of the Raise DSL from the Arrow Kt Kotlin library☆58Updated this week
- Dhall generic decoder for Scala☆45Updated last month
- ☆37Updated 5 years ago
- Easily modify parts of larger data structures☆60Updated 5 months ago
- ☆107Updated last year
- Type-safe Queries☆51Updated last year
- A Docker client that hopefully won't be a pain in the butt.☆14Updated 5 months ago
- The exercises for the Functional Data Modeling workshop.☆58Updated 4 years ago
- Λrrow Optics is part of Λrrow, a functional companion to Kotlin's Standard Library☆20Updated 3 years ago
- Catless Category Theory in Dotty/Scala 3 meow ~☆44Updated last year
- ☆29Updated 4 years ago
- ☆20Updated 4 years ago
- Port to Arrow of the Code repo for Functional and Reactive Domain Modeling☆30Updated last year
- Hoogle-like searches for Scala 3 and Kotlin☆90Updated 3 months ago
- Higher kinded data in Scala☆19Updated 5 months ago
- Extensible effects for Scala☆37Updated 2 years ago
- A sound library for scalaJs using Web Audio Api☆61Updated 4 months ago
- Reimplementing the Haskell prelude in Scala (for fun)☆12Updated 5 years ago
- A Direct-Style Scala Wrapper Around the Structured Concurrency of Project Loom☆27Updated this week
- Fast streams for Scala 3☆51Updated 2 weeks ago
- An Intellij Plugin for the Eta programming language☆52Updated 6 years ago
- Optics experimentation for Dotty☆32Updated 3 years ago
- A collection of shared interfaces for evidence-based Higher Kinded Types in the JVM☆98Updated 4 years ago
- HTTP service for schema storage and client generation☆28Updated 2 years ago
- Easy, fast, transparent generic derivation of typeclass instances in Scala☆20Updated last week
- Cats Bifunctor IO☆79Updated 6 years ago
- A simple, lightweight IO monad implementation for Kotlin with effect rotation☆60Updated last year