Showing 1-1 of 1 projects
A safe, easy systems language built in Rust with a focus on refinement types and LLVM backend.
Get weekly updates on trending AI coding tools and projects.