Open source repositories tagged with #dependent-types, ranked by health score.
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
