Popular repositories Loading

1. plfa.github.io plfa.github.io Public

   Forked from plfa/plfa.github.io

   An introduction to programming language theory in Agda

   HTML

2. WasmCert-Coq WasmCert-Coq Public

   Forked from WasmCert/WasmCert-Coq

   A mechanisation of Wasm in Coq

   Coq

3. scribble-java scribble-java Public

   Forked from scribble/scribble-java

   Core components for the Scribble Java tools

   Java

4. InteractionTrees InteractionTrees Public

   Forked from DeepSpec/InteractionTrees

   A Library for Representing Recursive and Impure Programs in Coq

   Coq

5. cc_cl_cam_ac_uk cc_cl_cam_ac_uk Public

   Forked from yallop/cc_cl_cam_ac_uk

   OCaml code for Compiler Construction course at University of Cambridge

   OCaml

6. nature nature Public

   Forked from nature-lang/nature

   The Nature Programming Language

   C