Projects in Awesome Lists tagged with effect-system
A curated list of projects in awesome lists tagged with effect-system .
https://github.com/haskell-effectful/effectful
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
Last synced: 19 Oct 2025
https://github.com/suned/pfun
Functional, composable, asynchronous, type-safe Python.
async asyncio curry currying effect-system effects functional-programming immutable immutable-collections immutable-datastructures immutable-objects mypy python-3 python3 static-code-analysis type-safety types zio
Last synced: 04 Jul 2025
https://github.com/zio/zio-direct
Direct-Style Programming for ZIO
async-await effect-system functional-programming meta-programming scala
Last synced: 15 Jul 2025
https://github.com/rcardin/yaes
An experimental effect system in Scala 3 that tracks effects through context functions
algebraic-effects direct-style effect-system monad scala3
Last synced: 17 Feb 2026
https://github.com/fs-fio/fio
🪻 A Type-Safe, Purely Functional Effect System for Asynchronous and Concurrent F#
concurrency concurrent concurrent-programming effect-system effect-systems fiber fibers fsharp functional-programing green-threads parallel-computing parallel-programming programming-library runtime-system threads
Last synced: 16 Dec 2025
https://github.com/fs-fio/FIO
🪻 A Type-Safe, Purely Functional Effect System for Asynchronous and Concurrent F#
concurrency concurrent concurrent-programming effect-system effect-systems fiber fibers fsharp functional-programing green-threads parallel-computing parallel-programming programming-library runtime-system threads
Last synced: 13 Jul 2025
https://github.com/nymphium/eff.lua
ONE-SHOT Algebraic Effects for Lua!
algebraic-effects coroutines eff effect-system lua
Last synced: 27 Jun 2025
https://github.com/catseye/sixtypical
MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis
6502-assembly abstract-interpretation effect-system experimental-language flow-typing low-level-programming static-analysis symbolic-execution
Last synced: 12 Apr 2025
https://github.com/tim-smart/elemental
A toolkit for writing software in dart. Effect-system, dependency management and more!
dart effect-system flutter state-management
Last synced: 11 Jan 2026
https://github.com/matthew-mosior/fasta-region-inspector
A bioinformatics tool for analyzing somatic hypermutation
bioinformatics biomart csv-writer effect-system effectful haskell knuth-morris-pratt linear-types multithreading sbv smt-solver somatic-hypermutation xml-generator yaml-configuration
Last synced: 23 Jun 2025
https://github.com/kleidukos/servant-effectful
Servant bindings for the Effectful ecosystem
effect-system effectful haskell servant
Last synced: 25 Jun 2025
https://github.com/kleidukos/cache-effectful
Bindings to the `cache` library for the Effectful ecosystem
Last synced: 30 Jul 2025
https://github.com/takapi327/lepusframework
Lepus Framework is an asynchronous REST API framework for Scala 3.
cats-effect dotty effect-system framework functional-programming http4s sbt scala scala3
Last synced: 12 May 2025
https://github.com/haskell-effectful/typed-process-effectful
Bindings of typed-process for the effectful ecosystem
effect-system effectful haskell
Last synced: 07 Oct 2025
https://github.com/kleidukos/pg-transact-effectful
pg-transact for the Effectful ecosystem
effect-system effectful haskell postgresql
Last synced: 03 Jul 2025
https://github.com/kamirus/lambda-formalizations
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
control-operators coq-formalization effect-handlers effect-system lambda-calculus nested-datatypes preservation progress stlc theorem-proving
Last synced: 02 Aug 2025
https://github.com/vic/fx.go
An Algebraic Effect System for Golang.
abilities ability-system algebraic-effect-handlers algebraic-effects effect-system effects golang
Last synced: 28 Sep 2025
https://github.com/giacomocavalieri/master-thesis
Master thesis in computer science and engineering
effect-system free-monads monad-transformers monads mtl scala
Last synced: 24 Aug 2025
https://github.com/vic/eff.go
An Algebraic Effect System for Golang.
algebraic-effect-handlers algebraic-effects effect-system effects golang
Last synced: 30 Apr 2025
https://github.com/giacomocavalieri/master-thesis-code-examples
Scala code examples for my master thesis
effect-system free-monads monad-transformers monads mtl scala
Last synced: 01 Apr 2025
https://github.com/okeuday/effects
An experimental C++ runtime effect system
effect-system effects referential-transparency
Last synced: 30 Mar 2025
https://github.com/ib823/riina
Formally verified programming language with security properties proven in Coq. Zero external dependencies. Thousands theorems. 0 admits.
bahasa-melayu compiler coq effect-system formal-verification information-flow mpl-2 non-interference programming-language rust security theorem-proving type-system zero-trust
Last synced: 10 Feb 2026
