effect-system
There are 31 repositories under effect-system topic.
haskell-effectful/effectful
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
zio/zio-direct
Direct-Style Programming for ZIO
suned/pfun
Functional, composable, asynchronous, type-safe Python.
rcardin/yaes
An experimental effect system in Scala that tracks effects through context functions
ENvironmentSet/hyogwa
Natural 🌿 effect system that fits TypeScript
fs-fio/fio
🪻 A Type-Safe, Purely Functional Effect System for Asynchronous and Concurrent F#
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-lang
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
bahmanm/BahmanM.Flow
A Declarative Framework for Composable Operations
haskell-effectful/typed-process-effectful
Bindings of typed-process for the effectful ecosystem
Kleidukos/cache-effectful
Bindings to the `cache` library for the Effectful ecosystem
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.
Kleidukos/pg-transact-effectful
pg-transact for the Effectful ecosystem
Kamirus/lambda-formalizations
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
vic/fx.go
An Algebraic Effect System for Golang.
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 :)
cinnes/java-io
A project demonstrating a functional IO/Effect system for robust error handling, built in a Hexagonal Architecture (Ports and Adapters).