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
- Pyro http://pyro.ai/ 105 comments
- http://www.cs.indiana.edu/~sabry/papers/exteff.pdf 81 comments
- http://okmij.org/ftp/Haskell/extensible/more.pdf 54 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 26 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
- https://www.microsoft.com/en-us/research/wp-content/uploads/2017/06/algeff-in-c-tr-v2.pdf 13 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
- [1611.09259] Do be do be do https://arxiv.org/abs/1611.09259 8 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