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☆148Updated this week
- ☆16Feb 10, 2025Updated last year
- ☆12May 9, 2015Updated 10 years ago
- A very small configuration library.☆11Oct 8, 2020Updated 5 years ago
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 7 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- A path to Recursion Schemes☆10Apr 20, 2020Updated 5 years ago
- ☆12Jul 28, 2024Updated last year
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 10 years ago
- An sbt plugin to configure Java Flight Recorder☆10Jul 28, 2024Updated last year
- 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
- ☆108Jan 7, 2024Updated 2 years ago
- Property based testing for kotlintest ported from quickcheck☆34Jan 23, 2020Updated 6 years ago
- Mu - Purely Functional Microservices for Kotlin☆17Apr 24, 2019Updated 6 years ago
- Provides fully-fledged multishot delimitied continuations in Kotlin with Coroutines☆16Jan 27, 2026Updated last month
- Λrrow Ank is part of Λrrow, a functional companion to Kotlin's Standard Library☆13Mar 29, 2021Updated 4 years ago
- Experiment on implementing Dagger code generation as a compiler plugin☆32Mar 2, 2020Updated 5 years ago
- Helping you keep your workstation nice and tidy☆31Sep 29, 2020Updated 5 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- An experimental intermediate language for GHC☆36Sep 8, 2017Updated 8 years ago
- Generic records for Scala☆16Mar 7, 2022Updated 3 years ago
- Object Algebra Composition☆24Jul 4, 2013Updated 12 years ago
- Slides for Scalaworld 2019☆15Oct 29, 2020Updated 5 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated 5 months ago
- ☆14Feb 21, 2024Updated 2 years ago
- Agda language support for the Atom editor☆13Sep 16, 2020Updated 5 years ago
- GPT2 Inference Implementation in Pure C☆31Jun 23, 2025Updated 8 months ago
- The plugin to manage benchmarks on your CI☆17May 16, 2024Updated last year
- RxJava extensions for Arrow's Data Types☆15Jun 24, 2021Updated 4 years ago
- library (and utility) for tracking filesystem changes☆18Apr 22, 2021Updated 4 years ago
- Mock Http Server with zero dependencies☆20Updated this week
- UI Automator Gesture Generation DSL☆17Nov 6, 2017Updated 8 years ago
- ☆16Dec 31, 2020Updated 5 years ago
- A Scala library with primitives to build applications using the SpatioTemporal Asset Catalogs specification☆17Feb 15, 2026Updated 2 weeks ago
- ☆20Jul 7, 2021Updated 4 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Mar 31, 2015Updated 10 years ago
- Embeddable component for running Kotlin's Arrow library code snippets☆22Apr 4, 2023Updated 2 years ago
- Dhall generic decoder for Scala☆46Dec 3, 2024Updated last year
- Ugly prototype language for strongly typed, lazy, purely functional client side web scripting☆25May 11, 2017Updated 8 years ago