Aver is a programming language for auditable AI-written code
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.
Functional programming toolbelt for Rust: HList, coproducts, GAT type classes, optics, effects, and monad transformers
A modern functional programming language with effect system.
A Rust library for pragmatic effect composition and validation, emphasizing the pure core, imperative shell pattern.
A statically-typed, expression-based language with declarative patterns, mandatory testing, and explicit effects.
The Deed programming language. Built for code that agents write and humans review.
A functional programming library for Rust featuring your favourite higher-kinded types and typeclasses.
Systems language and runtime for explicit authority, typed distribution, and security-first process supervision.
Security-first programming language for building high-assurance services, secure communications, privacy-aware networking tools, policy-enforced runtimes, secret-safe data pipelines, and auditable least-authority systems.
A typed language for LLM agent systems on BEAM: effect-row tracking, auditable tool effects, typed actors, and OTP supervision, queryable by agents over MCP.
Formally verified programming language with security properties proven in Coq. Zero external dependencies. Thousands theorems. 0 admits.
Sigil — hardware-first systems language: algebraic effects, autodiff, SMT verification, multi-GPU backends. No LLVM.
A Rust-flavored systems language with lightweight effect labels in the type system — LLVM backend (JIT + AOT), ownership + borrow checking, generics, traits, and #[derive].
Behavioral compiler for migrating shell automation into a typed Effect IR
To associate your repository with the effect-system topic, visit your repo's landing page and select "manage topics."