Linking pages
- GitHub - jnv/lists: The definitive list of lists (of lists) curated on GitHub and elsewhere https://github.com/jnv/lists 24 comments
- GitHub - prathyvsh/morphisms-of-computational-structures: A visual catalogue + story of morphisms displayed across computational structures. https://github.com/prathyvsh/morphisms-of-computational-structures 1 comment
Linked pages
- F*: A Proof-Oriented Programming Language http://fstar-lang.org 191 comments
- http://www.cs.indiana.edu/~sabry/papers/exteff.pdf 81 comments
- http://okmij.org/ftp/Haskell/extensible/more.pdf 54 comments
- Pyro http://pyro.ai/ 41 comments
- Eff Programming Language http://www.eff-lang.org 41 comments
- extensible-effects: An Alternative to Monad Transformers https://hackage.haskell.org/package/extensible-effects 33 comments
- GitHub - maciejpirog/cpp-effects: Effect handlers in C++ https://github.com/maciejpirog/cpp-effects 27 comments
- GitHub - unisonweb/unison: A friendly programming language from the future https://github.com/unisonweb/unison 25 comments
- [2108.11155] Latent Effects for Reusable Language Components: Extended Version https://arxiv.org/abs/2108.11155 21 comments
- https://www.microsoft.com/en-us/research/wp-content/uploads/2017/05/asynceffects-msr-tr-2017-21.pdf 17 comments
- fused-effects: A fast, flexible, fused effect system. https://hackage.haskell.org/package/fused-effects 16 comments
- [1605.06938] No value restriction is needed for algebraic effects and handlers https://arxiv.org/abs/1605.06938 13 comments
- GitHub - koka-lang/koka: Koka language compiler and interpreter https://github.com/koka-lang/koka 12 comments
- GitHub - ocaml-multicore/ocaml-effects-tutorial: Concurrent Programming with Effect Handlers https://github.com/ocamllabs/ocaml-effects-tutorial 10 comments
- Freer Monads and Extensible Effects http://okmij.org/ftp/Haskell/extensible/ 10 comments
- http://arxiv.org/pdf/1312.2334.pdf 8 comments
- http://kcsrk.info/papers/caml-eff17.pdf 7 comments
- Turbolift: Algebraic Effects for Scala 3 https://marcinzh.github.io/turbolift/ 5 comments
- https://hal.inria.fr/hal-01799712/document 4 comments
- GitHub - nythrox/effects.js: Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effects https://www.github.com/nythrox/effects.js 4 comments