nyu-acsys / driftLinks
An abstract-interpretation-based static analysis for inferring refinement types
☆16Updated 2 months ago
Alternatives and similar repositories for drift
Users that are interested in drift are comparing it to the libraries listed below
Sorting:
- A verified Implementation of a mini prolog☆15Updated 2 years ago
- Kleene algebra modulo theories