|
Coq |
7 |
A program translation implementing self-algebraic effects in Coq. |
Mar 30, 2021 |
|
F# |
61 |
Algebraic effects |
Dec 19, 2022 |
|
TypeScript |
7 |
Algebraic effects |
Dec 26, 2022 |
|
Python |
61 |
Python library to work with algebraic effects |
Apr 16, 2023 |
|
Rust |
461 |
Algebraic effects for Rust |
Apr 25, 2023 |
|
Ruby |
92 |
Algebraic effects in Ruby |
Jul 05, 2022 |
|
Ruby |
80 |
Algebraic effects for Ruby |
Jun 24, 2022 |
|
Idris |
2 |
Unusable Resource-dependent algebraic effects library in Idris 2. |
Jan 28, 2023 |
|
OCaml |
8 |
Algebraic Effects-based OCaml Nameserver |
Mar 15, 2023 |
|
Scala |
44 |
Algebraic Effects for Scala 3 |
Mar 17, 2023 |
|
Haskell |
2 |
λeff, λ calculus + algebraic effects |
Dec 10, 2022 |
|
Ruby |
20 |
ONE-SHOT Algebraic Effects for Ruby! |
Dec 11, 2021 |
|
Lua |
35 |
ONE-SHOT Algebraic Effects for Lua! |
Jun 16, 2022 |
|
JavaScript |
55 |
Algebraic effects and handlers using generators |
Mar 06, 2023 |
|
Haskell |
19 |
A library for benign effects in Haskell |
Dec 05, 2022 |
|
None |
3 |
Work related to algebraic effects and handlers |
Oct 09, 2018 |
|
TypeScript |
20 |
Poor man's algebraic effects for TypeScript (PoC) |
Mar 12, 2023 |
|
OCaml |
28 |
🦠 Reusable components based on algebraic effects |
Apr 25, 2023 |
|
Haskell |
5 |
A programming language with algebraic effects (WIP) |
Aug 13, 2021 |
|
TypeScript |
188 |
Manage side-effects in your javascript application cleanly with algebraic effects |
Aug 08, 2022 |
|
Scala |
13 |
Haskell-style Algebraic Data Types for Scala |
Feb 28, 2019 |
|
JavaScript |
161 |
📐Let there be algebraic effects in JS |
May 18, 2023 |
|
None |
28 |
Original and translation work |
Apr 12, 2022 |
|
TeX |
2 |
Deltas: An algebraic theory of diffs in haskell |
May 23, 2019 |
|
Haskell |
74 |
Linear Algebra of Programming - Algebraic Matrices in Haskell |
Nov 06, 2021 |
|
Haskell |
2 |
Another Haskell Prelude for Algebraic Classes and Structures |
Feb 02, 2023 |
|
PHP |
7 |
🥓 PoC of Algebraic Effects in PHP programming language |
Apr 21, 2020 |
|
Rust |
4 |
An experimental language built around continuations and algebraic effects. |
Aug 11, 2022 |
|
Haskell |
4 |
haskell library providing the base log effect for extensible effects |
Jul 07, 2021 |
|
TypeScript |
8 |
Multi-shot CPS typed algebraic effects and handlers, in typescript. |
Mar 15, 2023 |
|
TypeScript |
27 |
🚁 circular reactive programming with algebraic effects and composable interpreters |
Jan 24, 2020 |
|
Rust |
2 |
A prototype for a refactoring of Typst with algebraic effects |
May 03, 2023 |
|
Haskell |
2 |
Original Haskell implementation of Strobe |
Mar 09, 2020 |
|
OCaml |
308 |
Examples to illustrate the use of algebraic effects in Multicore OCaml |
Aug 30, 2022 |
|
OCaml |
4 |
A functional programming language based on algebraic effects and their handlers. |
Mar 30, 2023 |
|
None |
5 |
A semantics for our proposed design for algebraic effects for OCaml |
Jul 15, 2022 |
|
Haskell |
3 |
A haskell translation of hol-light |
Dec 05, 2019 |
|
None |
5 |
Chinese translation of Programming In Haskell |
Jun 20, 2017 |
|
None |
17 |
Libraries for the Effectful Haskell effects system |
May 11, 2022 |
|
Python |
13 |
Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators |
Feb 28, 2021 |
|
HTML |
2 |
Spanish translation of the original pythonds book |
Nov 07, 2019 |
|
C++ |
2 |
A complete translation of the original MapleLib |
Jul 15, 2019 |
|
SuperCollider |
32 |
A haskell package adding spectral effects to Tidal |
Feb 24, 2021 |
|
Haskell |
32 |
Interpreter for Joy in Haskell using extensible-effects |
Apr 05, 2022 |
|
Ruby |
4 |
Translation of Crowther's original Adventure to Federated Wiki |
Jan 09, 2020 |
|
Python |
3 |
Library providing Algebraic Data Types for Python. |
Nov 21, 2018 |
|
C |
167 |
Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C. |
Apr 01, 2023 |
|
None |
9 |
Sound Effects Library |
Mar 19, 2022 |
|
JavaScript |
2 |
An effects library. |
Sep 14, 2022 |
|
Haskell |
183 |
An easy to use, fast extensible effects library with seamless integration with the existing Haskell … |
Aug 26, 2022 |