A safe, easy systems language

ante compiler language llvm refinement-types systems-language
1 Open Issue Need Help Last updated: Sep 10, 2025

Open Issues Need Help

View All on GitHub
good first issue design

A safe, easy systems language

Rust
#ante#compiler#language#llvm#refinement-types#systems-language