All Git Users → svenkeidel

1 open source projects by svenkeidel

[ Open user page on Github ]

Sturdy is a library for developing sound static analyses in Haskell.

✭ 49

pascal haskell java scheme typescript HTML interpreter static-analysis abstract-interpretation soundness-proof analysis-components

1-1 of 1 user projects