An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
-
Updated
Sep 16, 2026 - Haskell
#
effect-system
Here are 86 public repositories matching this topic...
Direct-Style Programming for ZIO
-
Updated
Jun 2, 2023 - Scala
Functional, composable, asynchronous, type-safe Python.
immutable types functional-programming async static-code-analysis effects python3 asyncio curry python-3 type-safety currying immutable-objects immutable-datastructures mypy immutable-collections zio effect-system
-
Updated
Nov 20, 2023 - Python
Self-hosted functional language with explicit effects. Compiles to JVM bytecode, C, and NVIDIA GPU kernels via cuTile.
programming-language bytecode compiler jvm gpu cuda language-design graalvm self-hosting bootstrapping type-inference native-image lsp effect-system cutile tile-ir
-
Updated
Sep 20, 2026 - Python
A direct-style effect system in Scala 3 that tracks effects using context parameters
-
Updated
Aug 3, 2026 - Scala
🪻 A Type-Safe, Purely Functional Effect System for F#
fsharp concurrency parallel-computing fibers concurrent-programming concurrent threads fiber runtime-system parallel-programming green-threads functional-programing effect-system effect-systems programming-library
-
Updated
Sep 17, 2026 - F#
Natural 🌿 effect system that fits TypeScript
algebraic-effects typescript functional-programming extensible-effects computational-effects effect-system
-
Updated
Aug 22, 2024 - TypeScript
Aver is a programming language for auditable AI-written code
programming-language rust transpiler dafny formal-verification ai-code effect-system spec-tests lean4
-
Updated
Sep 19, 2026 - Rust
ONE-SHOT Algebraic Effects for Lua!
-
Updated
Mar 11, 2025 - Lua
MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis
static-analysis symbolic-execution flow-typing abstract-interpretation low-level-programming 6502-assembly experimental-language effect-system
-
Updated
Mar 17, 2024 - Python
A general-purpose, native, memory-safe language for scripts, services, and systems. As a program grows, ownership, concurrency, placement, and effects become things the compiler checks, not conventions.
programming-language compiler llvm static-analysis concurrency wasm model-checking low-latency agents formal-verification message-passing systems-programming no-gc effect-system
-
Updated
Sep 21, 2026 - Rust
A toolkit for writing software in dart. Effect-system, dependency management and more!
-
Updated
Aug 12, 2024 - Dart
Nix Algebraic Effects System with Handlers
-
Updated
Jan 31, 2026 - Nix
Functional programming toolbelt for Rust: HList, coproducts, GAT type classes, optics, effects, and monad transformers
-
Updated
Sep 18, 2026 - Rust
A bioinformatics tool for analyzing somatic hypermutation
haskell bioinformatics multithreading biomart smt-solver yaml-configuration sbv csv-writer knuth-morris-pratt linear-types xml-generator effect-system effectful somatic-hypermutation
-
Updated
Feb 10, 2024 - Haskell
A modern functional programming language with effect system.
-
Updated
Apr 21, 2024 - Rust
A Rust library for pragmatic effect composition and validation, emphasizing the pure core, imperative shell pattern.
rust validation functional-programming composition error-handling testability context-propagation effect-system pure-functions
-
Updated
Sep 14, 2026 - Rust
A statically-typed, expression-based language with declarative patterns, mandatory testing, and explicit effects.
testing programming-language rust compiler functional-programming pattern-matching type-inference static-typing effect-system
-
Updated
Jul 28, 2026 - Rust
Servant bindings for the Effectful ecosystem
-
Updated
Aug 1, 2025 - Haskell
Gradual effect, contract, async-safety, and temporal checking for existing TypeScript.
-
Updated
Sep 16, 2026 - TypeScript
Add this topic to your repo
To associate your repository with the effect-system topic, visit your repo's landing page and select "manage topics."