Effect Handlers for Java / the JVM
☆29Feb 27, 2020Updated 6 years ago
Alternatives and similar repositories for java-effekt
Users that are interested in java-effekt are comparing it to the libraries listed below
Sorting:
- Extensible algebraic effects with handlers☆148Mar 2, 2026Updated 2 weeks ago
- Experiment on implementing Dagger code generation as a compiler plugin☆32Mar 2, 2020Updated 6 years ago
- Embeddable component for running Kotlin's Arrow library code snippets☆21Apr 4, 2023Updated 2 years ago
- UI Automator Gesture Generation DSL☆17Nov 6, 2017Updated 8 years ago
- A very small configuration library.☆11Oct 8, 2020Updated 5 years ago
- Property based testing for kotlintest ported from quickcheck☆34Jan 23, 2020Updated 6 years ago
- Λrrow Ank is part of Λrrow, a functional companion to Kotlin's Standard Library☆13Mar 29, 2021Updated 4 years ago
- An sbt plugin to configure Java Flight Recorder☆10Jul 28, 2024Updated last year
- Mu - Purely Functional Microservices for Kotlin☆17Apr 24, 2019Updated 6 years ago
- The plugin to manage benchmarks on your CI☆17May 16, 2024Updated last year
- ☆16Feb 10, 2025Updated last year
- ☆12Jul 28, 2024Updated last year
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 10 years ago
- Generic records for Scala☆16Mar 7, 2022Updated 4 years ago
- RxJava extensions for Arrow's Data Types☆15Jun 24, 2021Updated 4 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- ☆16Dec 31, 2020Updated 5 years ago
- Rrecursion schemes without the barbed wire☆24Jun 3, 2018Updated 7 years ago
- A Scala library with primitives to build applications using the SpatioTemporal Asset Catalogs specification☆17Updated this week
- Slides for Scalaworld 2019☆15Oct 29, 2020Updated 5 years ago
- ☆108Jan 7, 2024Updated 2 years ago
- Declarative pattern matching solution to algebraic data types in Kotlin programming☆24Sep 2, 2019Updated 6 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated 5 months ago
- Cats Bifunctor IO☆79Jan 18, 2019Updated 7 years ago
- GPT2 Inference Implementation in Pure C☆31Jun 23, 2025Updated 8 months ago
- An Ergo-Appkit based library providing an abstraction layer to easily interact with AVL Trees as an L2 Solution☆14Aug 23, 2023Updated 2 years ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆13Dec 12, 2025Updated 3 months ago
- Λrrow Core is part of Λrrow, a functional companion to Kotlin's Standard Library☆79Feb 18, 2021Updated 5 years ago
- lazy generators with observation☆14Nov 2, 2023Updated 2 years ago
- Simple encoding of refinement types in Scala 3☆24Jun 24, 2024Updated last year
- A simple macro-less logging typeclass with some common backends☆22Mar 4, 2026Updated 2 weeks ago
- Provides fully-fledged multishot delimitied continuations in Kotlin with Coroutines☆17Updated this week
- Dhall generic decoder for Scala☆46Dec 3, 2024Updated last year
- ☆17May 18, 2019Updated 6 years ago
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 7 years ago
- ☆14Oct 4, 2021Updated 4 years ago
- Source code shown at my talks at Scale by the Bay 2018 and Scalar 2019☆26Apr 27, 2019Updated 6 years ago
- Simple setup for deploying Haskell to Amazon Lambda☆14Jun 25, 2020Updated 5 years ago