Sign in with GitHub
← Back to Discover
Inferara

Inferara/inference

RustGPL-3.0active
75Health

🌀 Inference programming language

Stars19
Forks16
Open Issues79
Contributors16
Last Push3d ago

Health Breakdown

Activity
25
Community
25
Maintenance
10
Popularity
15
#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3
View on GitHub ↗Issues (79) ↗Pull Requests ↗

Community

Inferara75

🌀 Inference programming language

active
★ 1916 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