🐈
- Philadelphia, PA
Popular repositories Loading
-
coq-sequent-calculus
coq-sequent-calculus PublicForked from dschepler/coq-sequent-calculus
Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic
Coq 1
-
Kami
Kami PublicForked 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
-
-
vigil
vigil PublicForked from munificent/vigil
Vigil, the eternal morally vigilant programming language
Python
-
cluster-scheduler-simulator
cluster-scheduler-simulator PublicForked from google/cluster-scheduler-simulator
Automatically exported from code.google.com/p/cluster-scheduler-simulator
Scala
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.