Explore projects

C

Burcu Özkan / cas-6023

0

Updated Feb 26, 2021

0 0 0 0

Updated Feb 26, 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
M

Eva Darulova / Metalibm for Daisy

0

Updated Feb 11, 2021

0

Updated Feb 11, 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

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
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
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
B

Clothilde Jeangoudoux / blossom

Practical verification of numerical kernels

0

Updated Jun 26, 2020

0 0 0 0

Updated Jun 26, 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
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

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
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
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
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
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
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
C

Backpack / Cabal Patch for Class Struggle
BSD 3-Clause "New" or "Revised" License

A fork of the Haskell Cabal repository that includes a change necessary for running the Class Struggle analysis, as part of Scott Kilpatrick's PhD thesis.

0

Updated Nov 11, 2019

0 0

Updated Nov 11, 2019
B

Ayan Majumdar / Bias in VAE
MIT License

Generative Models are being developed currently which can potentially be used for various applications such as data generation for training models. This project aims to analyse a generative model, the Variational Autoencoder and potential bias in it.

0

Updated Nov 11, 2019

0 0 0 0

Updated Nov 11, 2019
T

Antoine Kaufmann / TAS-OPT

0

Updated Nov 05, 2019

0 0 0 0

Updated Nov 05, 2019
F

Ivan Gavran / flipper-ltl-language

A fork from in order to explore using (a subset of) LTL as a core language of Flipper

0

Updated Sep 30, 2019

0 0 0 0

Updated Sep 30, 2019