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.
A small statically-typed compiled language with an LLVM backend - ownership and moves, generics, modules, contracts, units of measure, and effect annotations.
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."