Sign in with GitHub
← Back to Discover
jfecher

jfecher/ante

RustMITactive
88Health

A safe, easy systems language

Stars2.2k
Forks109
Open Issues15
Contributors109
Last Push3d ago

Health Breakdown

Activity
25
Community
25
Maintenance
13
Popularity
25
#ante#compiler#language#llvm#refinement-types#systems-language
View on GitHub ↗Issues (15) ↗Pull Requests ↗Wiki ↗

Community

jfecher88

A safe, easy systems language

active
★ 2.2k109 contributors3d ago

More Rust repos

polytope-labs
polytope-labs/hyperbridge
Hyperbridge scales verifiable interoperability
★ 20892
wboayue
wboayue/rust-ibapi
An implementation of the Interactive Brokers API for Rust
★ 31791
NiREvil
NiREvil/vless
v2ray subscription links
★ 1.1k91