A language with lexical effect handlers and lightweight effect polymorphism
Effect introduction about the whys, helping transitioning from raw TypeScript to Effect TypeScript
🪻 A Type-Safe, Purely Functional Effect System for F#
Libraries for the Effectful Haskell effects system
Latticra is an evidence-bound systems substrate for Linux-era and AI-era computing. Its purpose is to make system actions, automation, tool execution, and agentic workflows safer through deny-by-default authority, contract-first validation, cryptographic verification, no-effect reporting, runtime gating, and auditable evidence.
Apparatus for testing ideas about LLM inference. The code is written and maintained by agents and I don't read it; this is research, not a product.
Security-first Rust language for governed execution: checked capabilities & effects, default-deny policy, external grants, human-review gates & evidence-bound runtime decisions.
A small statically-typed compiled language with an LLVM backend - ownership and moves, generics, modules, contracts, units of measure, and effect annotations.
Anonymous prepublication paper and reproducible artifact for EffectIR.
Four ways to state in a Haskell type which resources a program may use: types only, tagless final, mtl and effect rows
Semantic theories, realizations, typed evidence, and explainable deployment through executable tracer bullets.
To associate your repository with the effect-systems topic, visit your repo's landing page and select "manage topics."