S
sturdy
Sturdy is a library to create sound abstract interpreters in Haskell.
-
Sven Keidel authored
| Name |
Last commit
|
Last update |
|---|---|---|
| jimple | ||
| lib | ||
| pcf | ||
| stratego | ||
| tutorial | ||
| while | ||
| .gitignore | ||
| .gitlab-ci.yml | ||
| .gitmodules | ||
| .hlint.yaml | ||
| .travis.yml | ||
| LICENSE | ||
| README.md | ||
| default.nix | ||
| logo.svg | ||
| overview.png | ||
| stack.yaml |
