A safe, easy systems language

ante compiler language llvm refinement-types systems-language
8 Open Issues Need Help Last updated: Jul 9, 2026

Open Issues Need Help

View All on GitHub
good first issue library feature design

A safe, easy systems language

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

A safe, easy systems language

Rust
#ante#compiler#language#llvm#refinement-types#systems-language
good first issue

A safe, easy systems language

Rust
#ante#compiler#language#llvm#refinement-types#systems-language
language feature good first issue

A safe, easy systems language

Rust
#ante#compiler#language#llvm#refinement-types#systems-language
language feature good first issue

A safe, easy systems language

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

A safe, easy systems language

Rust
#ante#compiler#language#llvm#refinement-types#systems-language
language feature good first issue

A safe, easy systems language

Rust
#ante#compiler#language#llvm#refinement-types#systems-language
good first issue design

A safe, easy systems language

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