Popular repositories Loading

1. FormalizedCompilerAlgorithms FormalizedCompilerAlgorithms Public

   Formalization in Coq of algorithms used in compilers for the Compiler.org project

   Coq 15

2. WhyNotW WhyNotW Public

   Repository holding code and latex sources for paper "Why Not W?"

   TeX 12

3. IWTypes IWTypes Public

   A Coq development of the theory of Indexed W types with function extensionality.

   Coq 11

4. ConstructingII ConstructingII Public

   Constructing Inductive-Inductive types in Cubical Type Theory

   TeX 8

5. SetIIInit SetIIInit Public

   Set level inductive-inductive initiality

   Coq 1

6. ArchipelagoDaisyChain ArchipelagoDaisyChain Public

   APWorld and client that proxies a whole other AP game

   HTML 1