algebraic-effects

There are 22 repositories under algebraic-effects topic.

koka
koka-lang / koka
Koka language compiler and interpreter
algebraic-effects effect-handlers handler haskell koka
Language:Haskell 3082
yallop / effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
algebraic-effects bibliography
915
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 635
thefrontside / effection
Structured concurrency and effects for JavaScript
algebraic-effects async-await concurrency effects effects-management structured-concurrency task-runner
Language:TypeScript 498
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
Language:Scala 289
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 205
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 186
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 174
maciejpirog / cpp-effects
Effect handlers in C++
effect-handlers algebraic-effects concurrency error-handling dependency-injection
Language:C++ 113
dry-rb / dry-effects
Algebraic effects in Ruby
ruby algebraic-effects
Language:Ruby 111
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 93
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
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
algebraic-effects functional-programming ruby
Language:Ruby 80
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 74
brianberns / AlgEff
Algebraic effects
algebraic-effects
Language:F# 69
orsinium-labs / eff
Python library to work with algebraic effects
algebraic-effects dependency-injection effects python side-effects
Language:Python 64
briancavalier / fx-ts
Computational environments and effects for TypeScript
algebraic-effects functional-programming effects typescript
Language:TypeScript 58
suned / stateless
Statically typed, purely functional effects for Python.
algebraic-effects functional-programming python
Language:Python 54
marcinzh / turbolift
Algebraic Effects for Scala 3
scala functional-programming algebraic-effects
Language:Scala 51
ENvironmentSet / hyogwa
Natural 🌿 effect system that fits TypeScript
algebraic-effects computational-effects effect-system extensible-effects functional-programming typescript
Language:TypeScript 50
effectsjs / effectsjs
Algebraic Effects in Javascript
algebraic-effects babel effects javascript neat-o runtime typescript
Language:JavaScript 44
RedPRL / algaeff
🦠 Reusable components based on algebraic effects
algebraic-effects ocaml ocaml-library
Language:OCaml 44
Nymphium / eff.lua
ONE-SHOT Algebraic Effects for Lua!
lua eff algebraic-effects coroutines effect-system
Language:Lua 43
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 37
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 / asai
🩺 A library for compiler diagnostics
algebraic-effects diagnostics error-handling error-reporting ocaml
Language:OCaml 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
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
abstract-machines algebraic-effects computational-effects continuation-passing-style continuations control-effects effect-handler-oriented-programming effect-handlers expressiveness expressivity functional-programming phd-dissertation phd-thesis research unix
Language:TeX 27
thefrontside / continuation
Delimited Continuations for JavasScript
algebraic-effect-handlers algebraic-effects continuation delimited-continuation delimited-continuations
Language:TypeScript 26
nyar-vm / valkyrie-language
A language about virtual kontinuation
algebraic-effects delimited-continuations first-class-continuations functional-programming object-oriented-programming
Language:Mathematica 25
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 24