LAMINARIA is a research-stage unified toolchain that models Rust and Nim builds as one explainable action graph, spanning dependency resolution, compiler pipelines, backend routes, caching and resource-aware execution.
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 COLLECTIONLess than 10 stars, 5+ commits in the last 30 days — projects made with care.
Takibi is a research systems language and a Linux-ABI-compatible monolithic kernel designed to shift kernel runtime failures to compile-time errors using refinement types and affine ownership.
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.
Unnameable is an experimental programming language compiler written in Rust, featuring a multi-stage pipeline from source to HIR with semantic analysis, while code generation is in development.
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.