Popular repositories Loading

1. coq-sequent-calculus coq-sequent-calculus Public

   Forked from dschepler/coq-sequent-calculus

   Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic

   Coq 1

2. Kami Kami Public

   Forked from sifive/Kami

   Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older versio…

   Coq 1

3. thesaurus thesaurus Public

   Forked from tindzk/thesaurus

   Thesaurus for programmers

4. vigil vigil Public

   Forked from munificent/vigil

   Vigil, the eternal morally vigilant programming language

   Python

5. cluster-scheduler-simulator cluster-scheduler-simulator Public

   Forked from google/cluster-scheduler-simulator

   Automatically exported from code.google.com/p/cluster-scheduler-simulator

   Scala

6. FStar FStar Public

   Forked from FStarLang/FStar

   Verification system for effectful programs

   F*