effect-system

Functional, composable, asynchronous, type-safe Python.

Self-hosted functional language with explicit effects. Compiles to JVM bytecode, C, and NVIDIA GPU kernels via cuTile.

MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis

A constraint-native programming language — capability-typed effects, 0.2 research preview

A language for safe, universal spatiotemporal composability (Cordis paradigm) and orchestration.

A tiny effect-typed language exploring a trust layer for AI-written code. AI proposes, the compiler disposes.

Run code an AI wrote without handing it everything you can reach. Each function declares what it may touch. You grant the run one folder, one host or a number of calls, and the runtime refuses anything else the moment it's tried.

A pure functional language whose compiler is written in Glass and rebuilds itself to byte-identical C — carrying a from-scratch zk-STARK prover whose proofs are judged by three independent lineages. Write a function, get a proof; exit codes carry the verdict. Research-grade, honestly bounded.

NAIL: Native AI Language — A programming language designed for AI to write, not humans to read

A language whose signatures carry what a function does and what data it touches — effects and information-flow labels, checked by the compiler.

A general-purpose programming language that shows its work. What a program can do to the outside world is computed without running it; where every value came from is traced to the boundary it entered through. Three implementations agree, one written in Planes.

A functional language with algebraic effects, a type-and-effect system, refinement types, information-flow security, and cooperative concurrency — single-file reference interpreter.

Security checker for Python, aimed at code AI agents write and run: SQL, command and code injection, deserialization, SSTI, XXE, hardcoded credentials. Emits SARIF for GitHub Code Scanning.

The open-source electronic donor record — a seed built to be safely completed by an AI its authors never meet. Three loops, three seams: a harness completes the fit under gates + a signature; the forge bootstraps its own tools, pin-and-propose; the record runs the same loop on the case, human seam. MIT · local · zero egress.

Does candor transfer off programming languages? An exploration: agent fleets as effect graphs — agents=units, delegation=edges, tool grants=classified leaves; queried and policy-gated by the unmodified candor tools.