A practical, expression-oriented language with clean control flow, contracts, classes, and REPL-friendly ergonomics — designed to teach good software engineering practice: problem decomposition, interface design, invariants, and testable program structure.
After installation, verify with nex help or start the REPL with nex.
Books
Programming with NexA detailed introduction to the language — from fundamentals to larger programs, with clear examples and steady progression.
Beyond CodeA software engineering book using Nex to teach decomposition, interface design, invariants, and the discipline required to build systems that stay understandable as they grow.
Tight Core, Open EdgeDesigning software that's both correct and flexible — constrain the core, open the edges, and let contracts be the membrane between them. A work in progress.
Contracts at WorkNine complete, runnable Nex projects — CLI tools, libraries, concurrent code, networked services, and a desktop GUI — with contracts holding each one together.
The Definition of NexA formal account of the language — a precise description of both the grammar and the meaning of Nex, intended as the foundation for its implementation and use.
The Design and Implementation of NexAn implementation manual covering the parser, AST, interpreter, typechecker, code generators, library model, host integration, and concurrency runtime.