Alloy within Kotlin
☆30Aug 10, 2023Updated 2 years ago
Alternatives and similar repositories for karat
Users that are interested in karat are comparing it to the libraries listed below
Sorting:
- Arrow Endpoint offers a composable Endpoint datatype, that allows us easily define an Endpoint from which we can derive clients, servers …☆24Jan 25, 2026Updated last month
- Kotlin Gradle plugins for conveniently setting up Kotlin projects (JVM/MPP), publishing, Dokka, etc☆16Updated this week
- Provides fully-fledged multishot delimitied continuations in Kotlin with Coroutines☆16Jan 27, 2026Updated last month
- Functional Hangman game implemented with Kotlin and Arrow (based on https://abhsrivastava.github.io/2018/11/03/Hangman-Game-Using-ZIO/)☆17Oct 2, 2019Updated 6 years ago
- Arrow Exact exposes a variation of exact types to work with in Arrow. It includes some boilerplate for commonly defined value class wrapp…☆31Updated this week
- Λrrow Check - Property based testing in Kotlin - It's part of Λrrow, a functional companion to Kotlin's Standard Library☆25Mar 10, 2022Updated 3 years ago
- Λrrow Optics is part of Λrrow, a functional companion to Kotlin's Standard Library☆20Feb 23, 2021Updated 5 years ago
- Super simple test to check Http4k with Loom☆11Dec 12, 2022Updated 3 years ago
- The Codebase UI that ships with UCM☆20Feb 24, 2026Updated last week
- Reason about resource-safety in the same way you reason about Structured Concurrency with SuspendApp!☆77Apr 22, 2025Updated 10 months ago
- Arrow plug-in for IntelliJ-based IDEs☆13Feb 5, 2026Updated 3 weeks ago
- Port to Arrow of the Code repo for Functional and Reactive Domain Modeling☆30Apr 4, 2023Updated 2 years ago
- Property based testing for kotlintest ported from quickcheck☆34Jan 23, 2020Updated 6 years ago
- Black-box testing of stateful systems using properties☆16Feb 9, 2023Updated 3 years ago
- Poké-Fun with Kotlin and Arrow☆12Updated this week
- A default template for building Elm SPA applications using Vite.☆15Jun 24, 2022Updated 3 years ago
- Quiver is a collection of extension methods and handy functions to make the wonderful functional programming Kotlin library, Arrow, even …☆159Feb 6, 2026Updated 3 weeks ago
- ☆14Feb 1, 2021Updated 5 years ago
- Koa has been superseded by Tegral OpenAPI! Check it out at the link below☆12Aug 13, 2022Updated 3 years ago
- Structural Search support for Kotlin☆18Dec 1, 2020Updated 5 years ago
- Better initial-style DSLs in Kotlin☆37Updated this week
- ☆14Mar 18, 2021Updated 4 years ago
- Saga pattern implementation in Kotlin build in top of Kotlin's Coroutines.☆66Jun 6, 2024Updated last year
- A browser automation framework written in Kotlin, based on Selenium and Kotest☆17Nov 18, 2024Updated last year
- Tab vs spaces, vim vs emacs, types vs tests, our community is full of these conflicts. In this talk, we'll explore the latter: what is th…☆17Sep 10, 2020Updated 5 years ago
- Lambda.World Cádiz 2018 Workshop - Encoding Functional web services using Arrow and Ktor☆41Oct 25, 2018Updated 7 years ago
- Arrow ❤️ Ktor☆16Jun 2, 2024Updated last year
- ☆23Feb 20, 2026Updated last week
- GitHub Action to set up mill☆19Jul 11, 2023Updated 2 years ago
- ☆21Mar 21, 2022Updated 3 years ago
- Minimal android example to compile and run an app running with Scala 2.13☆17Apr 13, 2021Updated 4 years ago
- Weather App with Arrow + Compose Desktop☆44Updated this week
- the code for the Kotlin and Spring Livelessons video☆15Dec 14, 2019Updated 6 years ago
- Experiments with running Kotlin/Wasm with Component Model☆21Jun 18, 2024Updated last year
- Kotest extensions for Arrow☆40Feb 2, 2025Updated last year
- Λrrow Fx is part of Λrrow, a functional companion to Kotlin's Standard Library☆65Feb 23, 2021Updated 5 years ago
- Parser-combinators with Multiplatform Kotlin Coroutines☆167Dec 4, 2024Updated last year
- 👨🚀 A type-safe URI builder in Kotlin☆21Jul 16, 2022Updated 3 years ago
- Unique Functional Values for Scala☆17Sep 3, 2024Updated last year