kanso is a small language whose source files contain only decisions: layout, naming and declaration order are enforced by the compiler, so non-canonical code is a syntax error. The repository ships a tree-walking interpreter, an LLVM-backed native compiler and a WebAssembly backend, held byte-identical by differential CI.
Open source. Open possibilities.
Discover quality open-source projects, submit projects anonymously, and claim and edit your own project.
A little curiosity. A world of open source.
THE FIRST COLLECTIONPromise is a statically-typed programming language designed for AI agents to write correct, maintainable code. It features explicit ownership, goroutine-style concurrency, algebraic error handling, generics, and pattern matching. Compiles natively to LLVM for Linux, macOS, Windows, and WASM.
Zap is a general-purpose programming language with a standalone native runtime, offering clear syntax, optional typing, and built-in web capabilities without external dependencies.
Xag is a compiled programming language featuring Rust-style memory ownership, high performance focus, and detailed error messages. It compiles to native code via LLVM or runs through interpreters. Early work-in-progress with strong decimal arithmetic verification against hardware and independent references.