osspath
Archive
Repos
osspath
Jobs
Repos
Funding
Ecosystems
Orgs
Explore
Search
⌘K
← Repositories
coord-e
thrust
Refinement type checking and inference tool for Rust
22
Stars
1
Forks
30
Issues
License unknown
License
active
Last GitHub commit: Jul 2, 2026
View on GitHub →
Contribution
30 open issues →
active project
← Browse all repos
Something inaccurate? Report a correction →