Explore projects
-
Johannes Hostert / lambda-rust
BSD 3-Clause "New" or "Revised" LicenseThe Coq development of LambdaRust
Updated -
Simon Hudon / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Iris / Fairis
BSD 3-Clause "New" or "Revised" LicenseUnmaintained repository. An extension of the Iris program logic to support linearity and fair refinement reasoning.
Updated -
Baltasar Dinis / sloth
MIT LicenseUpdated -
Burcu Özkan / pctcp-cass
OtherPCTCP (Probabilistic Concurrency Testing with Chain Partitioning) algorithm for testing Cassandra system. Implemented on top of SAMC/DMCK distributed system model checking tool.
Updated -
Updated
-
-
Abhishek Anand / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
UpdatedUpdated
-
Updated
-
Arthur Azevedo de Amorim / ReLoC
BSD 3-Clause "New" or "Revised" LicenseA logic for proving contextual refinements project website(https://cs.ru.nl/~dfrumin/reloc/)
Updated -
Updated
-
Thomas Somers / RefinedRust Dev
Apache License 2.0Updated -
Gregory Malecha / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
Vincent / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
UpdatedUpdated -
Updated
-
Updated
-
RT-PROOFS / pyRTA
MIT LicenseUpdated -
Aman Shankar Mathur / InteractiveProgrammingCAD
MIT LicenseThe public repository of the paper "Interactive Programming for Parametric CAD".
Updated -
osnet / astra-sim
MIT LicenseASTRA-sim2.0: Modeling Hierarchical Networks and Disaggregated Systems for Large-model Training at Scale
Updated
