Explore projects

I

Maxime Dénès / iris-coq
Creative Commons Attribution 4.0 International

The Coq development for Iris. [project website] [coqdoc]

0

Updated Dec 13, 2019

0 0 0 0

Updated Dec 13, 2019
I

Germán Delbianco / Iris
Creative Commons Attribution 4.0 International

The Coq development for Iris. [project website] [coqdoc]

0

Updated Jan 21, 2020

0 0 0 0

Updated Jan 21, 2020
I

Abhishek Anand / Iris
Creative Commons Attribution 4.0 International

The Coq development for Iris. [project website] [coqdoc]

0

Updated Jan 30, 2020

0 0 0 0

Updated Jan 30, 2020
O

FCS / ocpl-coq
Creative Commons Attribution 4.0 International

0

Updated Feb 02, 2020

0 0 0 0

Updated Feb 02, 2020
I

Michael Sammler / iris-coq
Creative Commons Attribution 4.0 International

The Coq development for Iris. [project website] [coqdoc]

0

Updated Feb 04, 2020

0 0 0 0

Updated Feb 04, 2020
R

Xiaojie Guo / rt-proofs
BSD 2-Clause "Simplified" License

The main Coq development.

0

Updated Feb 28, 2020

0 0 0 0

Updated Feb 28, 2020
C

Burcu Özkan / check-lin

The implementation for checking linearizability using hitting families of schedules

0

Updated Mar 01, 2020

0 0 0 0

Updated Mar 01, 2020
I

Jules Jacobs / Iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris. [project website] [coqdoc]

0

Updated Mar 21, 2020

0 0 0 0

Updated Mar 21, 2020
L

Ivan Gavran / ltl-learning-hardness

0

Updated Mar 23, 2020

0 0 0 0

Updated Mar 23, 2020
I

Dmitry Khalanskiy / Iris
Creative Commons Attribution 4.0 International

The Coq development for Iris. [project website] [coqdoc]

0

Updated Apr 14, 2020

0 0 0 0

Updated Apr 14, 2020
M

Marcus Pirron / mperl

mperl: A language for custom robotic manipulators

0

Updated Apr 23, 2020

0 0 0 0

Updated Apr 23, 2020
I

Abel Nieto / Iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris. [project website] [coqdoc]

0

Updated Apr 26, 2020

0 0 0 0

Updated Apr 26, 2020
I

Alix Trieu / Iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris. [project website] [coqdoc]

0

Updated Jul 30, 2020

0 0 0 0

Updated Jul 30, 2020
P

ptorrx / PROSA - Formally Proven Schedulability Analysis
BSD 2-Clause "Simplified" License

The main Coq development of the Prosa project: http://prosa.mpi-sws.org

0

Updated Aug 05, 2020

0 0 0 0

Updated Aug 05, 2020
A

cld / trace-datasets / azure-functions

Publicly released Azure Functions traces from https://github.com/Azure/AzurePublicDataset/blob/master/AzureFunctionsDataset2019.md

0

Updated Aug 27, 2020

0 0 0 0

Updated Aug 27, 2020
T

cld / ml / tvm
Apache License 2.0

Mirror of https://github.com/dmlc/tvm for internal development

Check other branches for active development.

Don't forgot to git submodule init and git submodule update!

0

Updated Sep 04, 2020

0 0 1 0

Updated Sep 04, 2020
I

Hugo Herbelin / iris-coq
Creative Commons Attribution 4.0 International

The Coq development for Iris. [project website] [coqdoc]

0

Updated Oct 24, 2020

0 0 0 0

Updated Oct 24, 2020
I

Rodolphe Lepigre / Iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris. [project website] [coqdoc]

0

Updated Jan 22, 2021

0 0 0 0

Updated Jan 22, 2021
H

cld / systems / hbase-2.1.7
Apache License 2.0

HBase instrumented with tracing framework.

0

Updated Feb 04, 2021

0 0 0 0

Updated Feb 04, 2021
I

Enrico Tassi / Iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris. [project website] [coqdoc]

0

Updated Feb 12, 2021

0 0 0 0

Updated Feb 12, 2021