Explore projects
-
cld / systems / sock-shop / queue-master
Apache License 2.0Updated -
Ike Mulder / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
cld / systems / sock-shop / payment
Apache License 2.0Updated -
Dongjae Lee / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. project website(https://iris-project.org/) coqdoc(https://plv.mpi-sws.org/coqdoc/iris/)
Updated -
-
-
Barebones C++ implementation of X-Trace compatible with latest brown tracing framework + baggage version
Updated -
The benchmark repository for the added float support to the KeY deductive verifier.
Updated -
David Swasey / coq-stdpp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Lennard Gäher / examples
BSD 3-Clause "New" or "Revised" LicenseSome example verification demonstrating the use of Iris.
Updated -
Simon Spies / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
UpdatedUpdated
-
Updated
-
Junaid Ali / predictive_multiplicity
GNU General Public License v3.0 or laterUpdated -
Olivier Laurent / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
Groundhog / OpenWhisk
Apache License 2.0Updated -
Updated
-
Updated
-
golang implementation of X-Trace and pubsub, also including some funky rewriting in order to get goroutine local variables.
Currently, the golang imports still point back to the repository hosted on GitHub. Depends on the tracingplane-go repository.
Updated
