Pinned Loading

1. intermittent_formalism intermittent_formalism Public

   Formal verification of some of the results of 'Towards a Formal Foundation of Intermittent Computing' -- OOPSLA 2020

   Coq

2. iota iota Public

   Interpreter and REPL for Iota, a variant of the lambda calculus that features mutable state as a primitive

   OCaml 3

3. iota_embedding iota_embedding Public

   A store-passing translation of a standard imperative language into our target logic

   Coq

4. stm_ortac stm_ortac Public

   Forked from ocaml-gospel/ortac

   Runtime assertion checking based on Gospel specifications

   OCaml