AILANG

AILANG is a purely functional, effect-typed programming language designed as a deterministic execution substrate for AI-generated code, with reflectable and verifiable semantics for every construct.

Languages

Visit website ailang.sunholo.com

AILANG is a language built for code that AI agents write and reason about rather than for humans directly: every construct has deterministic semantics intended to be reflected, verified and serialized. The language is developed autonomously by AI agents through its own coordinator, and its quality is tracked with independent static-analysis and supply-chain scores plus a live benchmark dashboard.

It ships an install script for its CLI and an agent bootstrap package that adds language guidance, reusable skills and local MCP tools for Claude Code and OpenAI Codex, including tools for prompting, checking, running, listing builtins and evaluating AILANG code. Codex also reads the repository's own AGENTS.md for project-specific workflow guidance in addition to the plugin.

AILANG is written in Go and licensed under Apache-2.0.

More in Languages

See all 48

QBasic Web Editor
vahidyousefzadeh.com
A browser-based QBasic 1.1 editor and interpreter that runs classic QBasic programs with DOSBox-accurate behavior, including text-mode graphics commands such as PRINT, COLOR and LOCATE, with sample programs and keyboard shortcuts to run and save.
- Editors
- Languages
Jobless Joke Language (JJL)
github.com
A Brainfuck-inspired esoteric programming language adding absolute memory navigation, multiplier arithmetic, non-destructive inspection and inline conditionals, with its own interpreter.
- Languages
C3 Playground
play.c3-lang.org
An in-browser playground that compiles and runs the C3 programming language entirely in WebAssembly, with no backend server, alongside its standard library and documentation.
- Languages

More in Languages

QBasic Web Editor

Jobless Joke Language (JJL)

C3 Playground

Cookies