Sven Keidel
Results
38
repositories owned by
Sven Keidel
sturdy
60
Stars
5
Forks
Watchers
Sturdy is a library for developing sound static analyses in Haskell.
