Naomi Spargo's repositories
coq_lib
stuff that i want in coq but isn't there
000
gospel
A tool-agnostic formal specification language for OCaml.
Language:OCamlMIT000
intermittent_formalism
Formal verification of some of the results of 'Towards a Formal Foundation of Intermittent Computing' -- OOPSLA 2020
Language:Coq000
iota_embedding
A store-passing translation of a standard imperative language into our target logic
Language:Coq000
Language:OCaml000
ocaml_lib
adhoc library; useful ocaml functions that i needed but couldn't find already done
Language:OCaml000
stm_ortac
Runtime assertion checking based on Gospel specifications
Language:OCamlMIT000
Language:OCaml000