Explore projects
-
Arthur Azevedo de Amorim / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Iris / iris-contrib
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Simon Spies / lambda-rust
BSD 3-Clause "New" or "Revised" LicenseThe Coq development of LambdaRust
Updated -
Niklas Mück / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
A fork from in order to explore using (a subset of) LTL as a core language of Flipper
Updated -
RT-PROOFS / POET
BSD 2-Clause "Simplified" LicenseThe POET Response-Time Certificate Generator — see also https://prosa.mpi-sws.org/poet.html
Updated -
Updated
-
A Programming and Direct Manipulation Environment for creating test environments/scenarios, especially for the case of Autonomous Driving.
Updated -
opam repository for old versions of things we develop (to avoid accumulating too many versions in the main repository)
Updated -
Tej Chajed / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq
Updated -
-
Zak Kent / ReLoC
BSD 3-Clause "New" or "Revised" LicenseA logic for proving contextual refinements project website(https://cs.ru.nl/~dfrumin/reloc/)
Updated -
Jules Jacobs / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Lennard Gäher / lambda-rust
BSD 3-Clause "New" or "Revised" LicenseThe Coq development of LambdaRust
Updated -
Iris / POPL20 Iris Tutorial
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Jonas Kastberg / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
Sanjit Bhat / lambda-rust
BSD 3-Clause "New" or "Revised" LicenseThe Coq development of LambdaRust
Updated -
cld / workloads / ycsb
Apache License 2.0YCSB is a cloud database benchmark that we use for HBase
Updated -
Simon Friis Vindum / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated
