algebraic-effects

There are 18 repositories under algebraic-effects topic.

• koka

  koka-lang / koka

  Koka language compiler and interpreter

  algebraic-effectskokahandlerhaskelleffect-handlers
  Language:Haskell 2130

• ocaml-multicore / ocaml-multicore

  Multicore OCaml

  ocamlmulticorealgebraic-effectshandlersconcurrency
  Language:OCaml 737

• yallop / effects-bibliography

  A collaborative bibliography of work related to the theory and practice of computational effects

  algebraic-effectsbibliography
  692

• fused-effects / fused-effects

  A fast, flexible, fused effect system for Haskell

  haskelleffectsalgebraic-effects
  Language:Haskell 558

• thefrontside / effection

  Structured concurrency and effects for JavaScript

  algebraic-effectsasync-awaitconcurrencyeffectsstructured-concurrency
  Language:TypeScript 225

• phenax / algebraic-effects

  Manage side-effects in your javascript application cleanly with algebraic effects

  algebraic-effectseffectsfunctional-programminggeneratorsjavascriptside-effects
  Language:TypeScript 185
• js-proposal-algebraic-effects

  macabeus / js-proposal-algebraic-effects

  📐Let there be algebraic effects in JS

  algebraic-effectsproposaljsbabelbabel-plugin
  Language:JavaScript 142

• 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-architecturehaskellpolysemyalgebraic-effectsdomain-driven-designports-and-adaptershexagonal-architectureonion-architectureservantwarppersistence-layerio-monadtestabilityarchitecturealgebraicsqliteswagger-uiswagger-documentationpolysemy-librarypolysemy-effects
  Language:Haskell 130

• effekt-lang / effekt

  A research language with effect handlers and lightweight effect polymorphism

  algebraic-effectscontrol-flowdelimited-continuationeffectshandlerslanguagelanguage-designresearch-project
  Language:Scala 126

• dry-rb / dry-effects

  Algebraic effects in Ruby

  rubyalgebraic-effects
  Language:Ruby 88

• digital-fabric / affect

  Algebraic effects for Ruby

  algebraic-effectsfunctional-programmingruby
  Language:Ruby 79

• facet-lang / facet

  a functional programming language with algebraic effects and handlers

  algebraic-effectscompilerprogramming-language
  Language:Haskell 76

• 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.

  algebraic-effectscompilercontinuationsfunctional-programminghandlerstype-inference
  Language:OCaml 73

• nythrox / effects.js

  Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effects

  algebraic-effectseffectsfunctional-programmingjavascript
  Language:JavaScript 72

• maciejpirog / cpp-effects

  Effect handlers in C++

  effect-handlersalgebraic-effectsconcurrencyerror-handlingdependency-injection
  Language:C++ 55

• orsinium-labs / eff

  Python library to work with algebraic effects

  algebraic-effectsdependency-injectioneffectspythonside-effects
  Language:Python 52

• briancavalier / fx-ts

  Computational environments and effects for TypeScript

  algebraic-effectseffectsfunctional-programmingtypescript
  Language:TypeScript 51

• liphe / delisp

  A delightful Lisp for JavaScript

  lispstrongly-typedalgebraic-effectsembedablejavascriptstructured-editing
  Language:TypeScript 36

• effectsjs / effectsjs

  Algebraic Effects in Javascript

  algebraic-effectseffectsjavascripttypescriptbabelruntimeneat-o
  Language:JavaScript 35

• Nymphium / eff.lua

  ONE-SHOT Algebraic Effects for Lua!

  algebraic-effectscoroutineseffeffect-systemlua
  Language:Lua 34

• Hihaheho / Desk

  🔮 The application platform for your cyberpunk desk

  algebraic-effectsfunctional-programmingfuture-technologieshigh-codelow-codeminimalistno-codeprogramming-languageruststatically-typedvisual-programming
  Language:Rust 33

• effect-handlers / wasm-effect-handlers

  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.

  effect-handlersalgebraic-effectswebassemblydelimited-controlproposalprototype-specification
  Language:WebAssembly 30

• TejasQ / basically-react-suspense

  An attempt to explain React Suspense to myself.

  reactalgebraic-effects
  Language:JavaScript 29

• Nymphium / ruff

  ONE-SHOT Algebraic Effects for Ruby!

  algebraic-effectsrubyrubygem
  Language:Ruby 20

• CoNarrative / framework-x

  A reasonable programming framework.

  algebraic-effectscode-as-data
  Language:JavaScript 19

• robrix / ui-effects

  An experiment towards a UI programming model inspired by algebraic effects.

  algebraic-effects
  Language:Haskell 19

• dmitriz / tiny-cps

  Tiny goodies for Continuation-Passing-Style functions (OLDER VERSION), use instead the NEWER `cpsfy`

  continuation-passing-stylecontinuation-taskscontinuationpromisesstreamsstream-processingfunctional-programmingfunctional-jsalgebraic-data-typesalgebraic-effects
  Language:JavaScript 16

• dhil / phd-dissertation

  A summary of my activities during the past four years

  algebraic-effectseffect-handlerscontinuationsabstract-machinescontinuation-passing-styleexpressivityfunctional-programmingresearchphd-thesisexpressivenesscontrol-effectscomputational-effectsunixphd-dissertationeffect-handler-oriented-programming
  Language:TeX 15

• broom-lang / broom

  A programming language with first-class modules and algebraic effects.

  modulesalgebraic-effectsrow-polymorphismcompilerbroomprogramming-languagetype-inferencegeneralized-algebraic-data-typeimplicittype-class
  Language:OCaml 9

• d-plaindoux / Effekts

  User defined effects for Kotlin multiplatform

  kotlin-multiplatformalgebraic-effects
  Language:Kotlin 9

• JonasHoefer / scoped-effects-agda

  An implementation of scoped algebraic effects and handlers in Agda.

  agdaalgebraic-effectsscoped-effectsbachelor-thesis
  Language:TeX 8

• lukeg101 / MScProjectPublic

  Masters Thesis, University of Oxford. Research project combining Calculating Compilers and Algebraic Effects using Haskell, supervised by Jeremy Gibbons. Presented work at the International Conference on Functional Programming Student Research Competition and the 7th South of England Regional Programming Languages Seminar.

  haskellalgebraic-effectscompilerscalculating-compilerstype-systemderivation
  Language:Haskell 8

• lagunoff / typescript-freer

  Extensible Effects in typescript

  typescripteffectsalgebraic-effectsfunctional-programming
  Language:TypeScript 7

• dhil / hx

  an effect handler-oriented programming language

  effect-handlerscomputational-effectsalgebraic-effectsprogramming-languagecompilerruntimeehopeffect-handler-oriented-programmingcontinuations
  Language:OCaml 6

• nilern / fell

  Freer monad for Clojure(Script)

  monadalgebraic-effectsclojureclojurescript
  Language:Clojure 6

• fused-effects / fused-effects-readline

  A readline-like effect and carrier for fused-effects using haskeline

  haskellreadlinealgebraic-effects
  Language:Haskell 5