nyu-acsys / driftLinks

An abstract-interpretation-based static analysis for inferring refinement types
16Updated last week

Alternatives and similar repositories for drift

Users that are interested in drift are comparing it to the libraries listed below

Sorting: