All Git Users → IagoAbal

2 open source projects by IagoAbal

[ Open user page on Github ]

EBA is a static bug finder for C.

✭ 14

ocaml c shell static-code-analysis static-analysis static-analyzer

Haskell bindings to Microsoft's Z3 API (unofficial).

✭ 48

haskell shell api z3 smt

1-2 of 2 user projects