Explore projects

Q

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

0

Updated Nov 11, 2024

0 0 0 0

Updated Nov 11, 2024
B

cld / blueprint2 / blueprint

0

Updated Oct 24, 2024

0 22

Updated Oct 24, 2024
Janggun Lee / Iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris. project website(https://iris-project.org/) coqdoc(https://plv.mpi-sws.org/coqdoc/iris/)

0

Updated Oct 05, 2024

0 0 0 0

Updated Oct 05, 2024
Pierre Roux / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Sep 16, 2024

0 0 0 0

Updated Sep 16, 2024
Thomas Lamiaux / Iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris. project website(https://iris-project.org/) coqdoc(https://plv.mpi-sws.org/coqdoc/iris/)

0

Updated Sep 03, 2024

0 0 0 0

Updated Sep 03, 2024
tjhance / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Sep 03, 2024

0 0 0 0

Updated Sep 03, 2024
Yiyun Liu / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jul 31, 2024

0 0 0 0

Updated Jul 31, 2024
I

Tej Chajed / iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris

0

Updated Jul 23, 2024

0 0 0 0

Updated Jul 23, 2024
Tej Chajed / Diaframe
BSD 3-Clause "New" or "Revised" License

Automation for Iris

0

Updated Jul 18, 2024

0 0 0 0

Updated Jul 18, 2024
Q

Iris / Quiver
BSD 3-Clause "New" or "Revised" License

2

Updated Jul 12, 2024

2 1 0 0

Updated Jul 12, 2024
I

Yusuke Matsushita / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jul 02, 2024

0 0 0 0

Updated Jul 02, 2024
E

FCS / Expiris
BSD 3-Clause "New" or "Revised" License

1

Updated Jun 01, 2024

1 0 0 0

Updated Jun 01, 2024
Yixuan Chen / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated May 21, 2024

0 0 0 0

Updated May 21, 2024
A

Felix Stutz / async-mpst-gen-choice
MIT License

This repo contains our prototype implementing the generalised projection of global types from our MST framework with generalised choice.

Maintainer: Felix Stutz

0

Updated Apr 15, 2024

0 0 0 0

Updated Apr 15, 2024
Benjamin Peters / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Apr 15, 2024

0 0 0 0

Updated Apr 15, 2024
William Mansky / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Apr 12, 2024

0 0 0 0

Updated Apr 12, 2024
A

Carina Schmitt / academicpages
MIT License

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

0

Updated Apr 03, 2024

0 0 0 0

Updated Apr 03, 2024
Ike Mulder / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Mar 05, 2024

0 0 0 0

Updated Mar 05, 2024
Johannes Hostert / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Feb 29, 2024

0 0 0 0

Updated Feb 29, 2024
M

Kaushik Mallik / MascotSDS
Apache License 2.0

Controller synthesis for stochastic dynamical system by means of finite abstraction

0

Updated Feb 28, 2024

0 0 0 0

Updated Feb 28, 2024