effect-system

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

Direct-Style Programming for ZIO

Functional, composable, asynchronous, type-safe Python.

A direct-style effect system in Scala 3 that tracks effects using context parameters

🪻 A Type-Safe, Purely Functional Effect System for F#

Natural 🌿 effect system that fits TypeScript

Aver is a programming language for auditable AI-written code

ONE-SHOT Algebraic Effects for Lua!

MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis

One structural construct — the locus — holding its shape from a value to a fleet. Wherever the structure closes, the compiler certifies it.

A toolkit for writing software in dart. Effect-system, dependency management and more!

Nix Algebraic Effects System with Handlers

Functional programming toolbelt for Rust: HList, coproducts, GAT type classes, optics, effects, and monad transformers

A bioinformatics tool for analyzing somatic hypermutation

A modern functional programming language with effect system.

A Rust library for pragmatic effect composition and validation, emphasizing the pure core, imperative shell pattern.

A small, elegant, general-purpose functional language. Effects are in the type signature, including ones you name yourself. The compiler is self-hosted, and it is the only one there is. Two peer backends, JVM bytecode and C; that a program prints the same bytes on both is held by a gate, not a promise.

A statically-typed, expression-based language with declarative patterns, mandatory testing, and explicit effects.

Servant bindings for the Effectful ecosystem

Tina, a programming language with typed algebraic effects and handlers.