iago

Iago Abal

splite

Experimental work on SPL analyses.

z3-haskell

Haskell bindings for the Z3 SMT solver.

toy

Toy experiments, mostly in Haskell, that may have some pedagogical interest.

hsc

The H!-spec (prototype) compiler.

bv-haskell

(Yet another) Bit-vectors library for Haskell