1 result found Sort:

svenkeidel
sturdy svenkeidel
5
60
bsd-3-clause
5
Sturdy is a library for developing sound static analyses in Haskell.
haskell interpreter soundness-proof static-analysis analysis-components abstract-interpretation
Created 2018-03-21
903 commits to master branch, last one about a year ago