effect-system

zio/zio-direct

Direct-Style Programming for ZIO

suned/pfun

Functional, composable, asynchronous, type-safe Python.

ENvironmentSet/hyogwa

Natural 🌿 effect system that fits TypeScript

Nymphium/eff.lua

ONE-SHOT Algebraic Effects for Lua!

catseye/SixtyPical

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

tim-smart/elemental

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

AntonPing/norem-draft-2

A modern functional programming language with effect system.

Matthew-Mosior/fasta-region-inspector

A bioinformatics tool for analyzing somatic hypermutation

ebresafegaga/tina

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

Kleidukos/servant-effectful

Servant bindings for the Effectful ecosystem

haskell-effectful/cache-effectful

Bindings to the `cache` library for the Effectful ecosystem

haskell-effectful/log-effectful

haskell-effectful/typed-process-effectful

Bindings of typed-process for the effectful ecosystem

haskell-effectful/monad-time-effectful

takapi327/lepusframework

Lepus Framework is an asynchronous REST API framework for Scala 3.

haskell-effectful/crypto-rng-effectful

Adaptation of the crypto-rng library for the effectful ecosystem.

Kamirus/lambda-formalizations

Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation

Kleidukos/pg-transact-effectful

pg-transact for the Effectful ecosystem

wraikny/EffFs

F# Effect System based on SRTP

giacomocavalieri/master-thesis

Master thesis in computer science and engineering

giacomocavalieri/master-thesis-code-examples

Scala code examples for my master thesis

moleike/evidence

Effect Handlers in Scala, Evidently

okeuday/effects

An experimental C++ runtime effect system

abmazhr/elevio_articles_viewer

Simple http-client to interact with elevio-rest-api for viewing and searching articles :)

untaljohanperez/spark-streaming-job