Explore projects
-
Artem Ageev / OpenLane for SwiSH
Apache License 2.0Updated -
Amin Timany / coq-stdpp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
The public repository accompanying the paper 'Paracosm: A Test Framework for Autonomous Driving Simulations'.
Updated -
Egor Namakonov / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. coqdoc(https://plv.mpi-sws.org/coqdoc/stdpp/)
Updated -
cld / systems / zookeeper
Apache License 2.0ZooKeeper instrumented with tracing framework. Quite out of date (last touched 2014)
Updated -
Updated
-
Kaushik Mallik / MascotSDS
Apache License 2.0Controller synthesis for stochastic dynamical system by means of finite abstraction
Updated -
SimBricks / API
MIT LicenseUpdated -
pacer / memcached-1.6.9
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Iris / Satisfiable Demo
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Neven Villani / simuliris
BSD 3-Clause "New" or "Revised" LicenseLocal Simulation proofs, the Iris style
Updated -
Updated
-
Alix Trieu / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Adam / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
Public repository of the paper 'Constraint Synthesis for Parametric CAD'.
Updated -
-
A fork from in order to explore using (a subset of) LTL as a core language of Flipper
Updated -
Yixuan Chen / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Updated
