Popular repositories Loading

1. hpt-experiments hpt-experiments Public

   Various attempts to model version control systems in Homotopy Type Theory

   Agda 9

2. symex-formally-formalized symex-formally-formalized Public

   Coq formalization of Symbolic Execution Formally Explained

   Coq 2

3. ICTAC-DenotSymbEx ICTAC-DenotSymbEx Public

   Coq mechanization of "Denotational Semantics for Symbolic Execution" for ICTAC23 submission

   Coq 1

4. Procedural-experimentation Procedural-experimentation Public

   C#

5. Lantern Lantern Public

   Repository for 3-week project

   C#

6. WFC_fun WFC_fun Public

   Python