algebraic-effects

There are 23 repositories under algebraic-effects topic.

koka
koka-lang / koka
Koka language compiler and interpreter
algebraic-effects effect-handlers handler haskell koka
Language:Haskell 3205
yallop / effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
algebraic-effects bibliography
941
ocaml-multicore / ocaml-multicore
Multicore OCaml
ocaml multicore algebraic-effects handlers concurrency
Language:OCaml 762
fused-effects / fused-effects
A fast, flexible, fused effect system for Haskell
algebraic-effects effects haskell
Language:Haskell 640
thefrontside / effection
Structured concurrency and effects for JavaScript
concurrency structured-concurrency algebraic-effects effects async-await effects-management task-runner
Language:TypeScript 539
effekt-lang / effekt
A research language with effect handlers and lightweight effect polymorphism
effects handlers control-flow algebraic-effects delimited-continuation language language-design research-project effect-handlers effect-systems
Language:Scala 310
phenax / algebraic-effects
Manage side-effects in your javascript application cleanly with algebraic effects
algebraic-effects functional-programming javascript generators effects side-effects
Language:TypeScript 206
thma / PolysemyCleanArchitecture
Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.
clean-architecture haskell polysemy algebraic-effects domain-driven-design ports-and-adapters hexagonal-architecture onion-architecture servant warp persistence-layer io-monad testability architecture algebraic sqlite swagger-ui swagger-documentation polysemy-library polysemy-effects
Language:Haskell 190
js-proposal-algebraic-effects
macabeus / js-proposal-algebraic-effects
📐Let there be algebraic effects in JS
algebraic-effects proposal js babel babel-plugin
Language:JavaScript 175
maciejpirog / cpp-effects
Effect handlers in C++
effect-handlers algebraic-effects concurrency error-handling dependency-injection
Language:C++ 115
dry-rb / dry-effects
Algebraic effects in Ruby
ruby algebraic-effects
Language:Ruby 112
Hihaheho / Desk
🔮 The application platform for your cyberpunk desk
high-code algebraic-effects functional-programming statically-typed visual-programming
Language:Rust 109
nythrox / effects.js
Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effects
algebraic-effects effects javascript functional-programming
Language:JavaScript 95
Ekdohibs / joujou
A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.
functional-programming algebraic-effects type-inference continuations handlers compiler
Language:OCaml 86
edomata
hnaderi / edomata
Production ready event-driven automata for Scala, Scala.js and scala native
automata cats cqrs cqrs-es ddd event-driven event-sourcing fp scala eventsourcing purely-functional scalajs scalanative algebraic-effects monad state-machine
Language:Scala 83
facet-lang / facet
a functional programming language with algebraic effects and handlers
algebraic-effects programming-language compiler
Language:Haskell 81
digital-fabric / affect
Algebraic effects for Ruby
ruby algebraic-effects functional-programming
Language:Ruby 79
brianberns / AlgEff
Algebraic effects
algebraic-effects
Language:F# 70
orsinium-labs / eff
Python library to work with algebraic effects
effects python dependency-injection side-effects algebraic-effects
Language:Python 66
suned / stateless
Statically typed, purely functional effects for Python.
algebraic-effects functional-programming python
Language:Python 64
briancavalier / fx-ts
Computational environments and effects for TypeScript
algebraic-effects functional-programming effects typescript
Language:TypeScript 59
ENvironmentSet / hyogwa
Natural 🌿 effect system that fits TypeScript
algebraic-effects computational-effects effect-system extensible-effects functional-programming typescript
Language:TypeScript 55
marcinzh / turbolift
Algebraic Effects for Scala 3
scala functional-programming algebraic-effects
Language:Scala 53
Nymphium / eff.lua
ONE-SHOT Algebraic Effects for Lua!
lua eff algebraic-effects coroutines effect-system
Language:Lua 49
RedPRL / algaeff
🦠 Reusable components based on algebraic effects
algebraic-effects ocaml ocaml-library
Language:OCaml 47
effectsjs / effectsjs
Algebraic Effects in Javascript
algebraic-effects effects javascript typescript babel runtime neat-o
Language:JavaScript 44
liphe / delisp
A statically typed Lisp dialect with algebraic effect system compiling to Javascript
lisp strongly-typed algebraic-effects embedable javascript structured-editing
Language:TypeScript 38
RedPRL / asai
🩺 A library for compiler diagnostics
algebraic-effects ocaml diagnostics error-handling error-reporting
Language:OCaml 34
effect-handlers / wasm-effect-handlers
WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
effect-handlers algebraic-effects webassembly delimited-control proposal prototype-specification
Language:WebAssembly 32
RedPRL / algaett
🦠 An experimental elaborator for dependent type theory using effects and handlers
algebraic-effects normalization-by-evaluation ocaml ocaml-program type-theory proof-assistant
Language:OCaml 30
robrix / ui-effects
An experiment towards a UI programming model inspired by algebraic effects.
algebraic-effects
Language:Haskell 30
thefrontside / continuation
Delimited Continuations for JavasScript
algebraic-effect-handlers algebraic-effects continuation delimited-continuation delimited-continuations
Language:TypeScript 29
TejasQ / basically-react-suspense
An attempt to explain React Suspense to myself.
react algebraic-effects
Language:JavaScript 28
dhil / phd-dissertation
A summary of my activities during the past four years
algebraic-effects effect-handlers continuations abstract-machines continuation-passing-style expressivity functional-programming research phd-thesis expressiveness control-effects computational-effects unix phd-dissertation effect-handler-oriented-programming
Language:TeX 27
fp4ts / fp4ts
Zero-dependency, purely functional library for effectful programming in Typescript
functional-programming category-theory typescript higher-kinded-types typelevel algebraic-effects
Language:TypeScript 26
RedPRL / yuujinchou
👹 A library for hierarchical names and lexical scoping
ocaml ocaml-library algebraic-effects
Language:OCaml 26