Rare find

thrust. Refinement type checking and inference tool for Rust

github.com/coord-e/thrust

by

@coord-e

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.