Promise 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.
OPEN SOURCE, OPEN TO EVERYONE
Open source. Open possibilities.
Discover quality open-source projects, submit projects anonymously, and claim and edit your own project.
✳Human-curated · Discover open source4101discovered
A little curiosity. A world of open source.
THE FIRST COLLECTIONTopic: compilers清除
promisepromise-language
ADDEDrucctamnd
ADDEDrucc is an early-stage optimizing C compiler written in Rust. The README says nothing compiles C yet: M0/M1 cover the workspace, checked layer rule, driver skeleton, CI on Linux/macOS/Windows, and a preprocessor. It aims at SQLite, PostgreSQL and Linux, using SMT-verified rewrite rules, poison-free SSA IR, e-graphs, and self-encoded objects/DWARF.
go-recipesnikolaydubina
ADDEDA comprehensive curated collection of tools and recipes for Go projects, covering testing, dependencies, visualization, and static analysis.