Awesome Open Source

Programming Languages

Search results for algebraic effects

algebraic-effects x

42 search results found

Koka language compiler and interpreter

Effects Bibliography ⭐ 879

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

Ocaml Multicore ⭐ 763

Multicore OCaml

Fused Effects ⭐ 633

A fast, flexible, fused effect system for Haskell

Effection ⭐ 437

Structured concurrency and effects for JavaScript

A research language with effect handlers and lightweight effect polymorphism

Polysemycleanarchitecture ⭐ 186

Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.

Algebraic Effects ⭐ 185

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

Js Proposal Algebraic Effects ⭐ 115

📐Let there be algebraic effects in JS

Cpp Effects ⭐ 106

Effect handlers in C++

Dry Effects ⭐ 106

Algebraic effects in Ruby

🔮 The application platform for your cyberpunk desk

a functional programming language with algebraic effects and handlers

Effects.js ⭐ 75

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

Algebraic effects for Ruby

Production ready event-driven automata for Scala, Scala.js and scala native

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.

Computational environments and effects for TypeScript

Natural 🌿 effect system that fits TypeScript

Stateless ⭐ 43

Statically typed, purely functional effects for Python.

🦠 Reusable components based on algebraic effects

Wasm Effect Handlers ⭐ 30

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

Basically React Suspense ⭐ 28

An attempt to explain React Suspense to myself.

🦠 An experimental elaborator for dependent type theory using effects and handlers

Valkyrie Language ⭐ 24

A language about virtual kontinuation

Zero-dependency, purely functional library for effectful programming in Typescript

Phd Dissertation ⭐ 23

A summary of my activities during the past four years

ONE-SHOT Algebraic Effects for Lua!

Framework X ⭐ 19

A reasonable programming framework.

Tiny Cps ⭐ 16

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

Ui Effects ⭐ 16

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

Continuation ⭐ 16

Delimited Continuations for JavasScript

ONE-SHOT Algebraic Effects for Ruby!

Effectsjs ⭐ 11

Algebraic Effects in Javascript

User defined effects for Kotlin multiplatform

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

Algebraic Effects Ts ⭐ 8

Multi-shot CPS typed algebraic effects and handlers, in typescript.

Logger with eio

Typescript Freer ⭐ 6

Extensible Effects in typescript

an effect handler-oriented programming language

Mscprojectpublic ⭐ 6

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.

One-shot algebraic effects for Golang

Related Searches

Functional Programming Algebraic Effects (16)

1-42 of 42 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.