Explore projects
-
Updated
-
A Programming and Direct Manipulation Environment for creating test environments/scenarios, especially for the case of Autonomous Driving.
Updated -
A tool that helps instrumenting a system for distributed tracing. The tool detects places where trace context propagation is potentially needed.
Updated -
Thomas Somers / RefinedRust Dev
Apache License 2.0Updated -
Simcha van Collem / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. coqdoc(https://plv.mpi-sws.org/coqdoc/stdpp/)
Updated -
Sadegh Soudjani / EICSymAware
BSD 3-Clause "New" or "Revised" LicenseThis is the repository for the EU EIC project called SymAware.
Updated -
-
Lennard Gäher / iris-contrib
BSD 3-Clause "New" or "Revised" LicenseUpdated -
William Mansky / examples
BSD 3-Clause "New" or "Revised" LicenseSome example verification demonstrating the use of Iris.
Updated -
The implementation for checking linearizability using hitting families of schedules
Updated -
ns3 simulations for different congestion control algorithms and network scenarios.
Updated -
Simon Spies / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
Updated
-
Jonas Kastberg / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
Ike Mulder / examples
BSD 3-Clause "New" or "Revised" LicenseSome example verification demonstrating the use of Iris.
Updated -
osnet / astra-sim
MIT LicenseASTRA-sim2.0: Modeling Hierarchical Networks and Disaggregated Systems for Large-model Training at Scale
Updated -
RT-PROOFS / pyRTA
MIT LicenseUpdated -
Maxime Dénès / iris-coq
Creative Commons Attribution 4.0 InternationalThe Coq development for Iris. [project website] [coqdoc]
Updated
