Pinned Repositories
bisim-refinement
hobbits
A library for name-binding in Haskell that ensures adequacy and prevents binding-related bugs.
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
itree-refinement
Defining a notion of refinement on itrees
predicate-monads
A logic for proving properties of monadic computations
separation-types
uniform-lr
Coq formalization of uniform logical relations
crucible
Crucible is a library for symbolic simulation of imperative programs
reopt
A tool for analyzing x86-64 binaries.
saw-script
The SAW scripting language.
eddywestbrook's Repositories
eddywestbrook/predicate-monads
A logic for proving properties of monadic computations
eddywestbrook/hobbits
A library for name-binding in Haskell that ensures adequacy and prevents binding-related bugs.
eddywestbrook/uniform-lr
Coq formalization of uniform logical relations
eddywestbrook/bisim-refinement
eddywestbrook/InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
eddywestbrook/itree-refinement
Defining a notion of refinement on itrees
eddywestbrook/separation-types