Home

Next-Gen Languages

Parent repository for tracking and coordinating 14+ experimental programming language designs.

Quick Start

See the main README for the full language comparison and status.

Note: This is a parent repository only -- it contains documentation and tracking but no implementation code. All language implementations are in their respective canonical repositories (linked as git submodules).

Key Concepts

• Monorepo with git submodules -- Each language has its own canonical repository linked as a submodule. The parent repo provides cross-language coordination, shared documentation, and progress tracking.
• Full-spectrum coverage -- 14+ languages collectively covering the full spectrum of modern software challenges: AI-native development (Ensemble, Duet), formal ethics (Phronesis), sustainable computing (Eclexia), systems programming (Solo), and more.
• Layered development -- Layer 0 (grammar + parser) complete for all languages, Layer 1 (type systems + semantics) in progress. Breadth-first approach ensures all languages advance together.

Languages

Language	Domain	Key Feature
Solo	Systems programming	Contract-based, where { pre, post }
Duet	AI-assisted systems	@synth, @verify, intent("...")
Ensemble	AI-native apps	ai_model {}, AI<T> effect type
Phronesis	AI safety/alignment	Agent ethics, EVALUATE(...)
Eclexia	Sustainable software	(energy budget ...), resource constraints
Ephapax	Linear types + WASM	Affine/linear duality, let!
AffineScript	Affine type systems	OCaml compiler
Anvomidav	Reversible computing	Instruction reversal
WokeLang	Social-aware computing	Inclusive defaults
BetLang	Probabilistic programming	Betting semantics

Related Projects

• Ephapax -- Linear type language (also a submodule here)
• typed-wasm -- Type safety for WASM memory
• proven -- Formal verification library
• ECHIDNA -- Property-based testing

Contributing

See CONTRIBUTING.md.

License

PMPL-1.0-or-later