Explore projects

View tutorial-popl24 project

Iris / tutorial-popl24
BSD 3-Clause "New" or "Revised" License

0

Updated Jan 16, 2024

0 1 0 0

Updated Jan 16, 2024
View stdpp project

Matthieu Sozeau / stdpp
BSD 3-Clause "New" or "Revised" License

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Jan 21, 2022

0 0 0 0

Updated Jan 21, 2022
View Iris project

Isaac van Bakel / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jan 18, 2026

0 0 0 0

Updated Jan 18, 2026
View Atomic Prophecies project

Benjamin Peters / Atomic Prophecies

0

Updated May 13, 2025

0 0 0 0

Updated May 13, 2025
View hbase-2.1.7 project

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
View stdpp project

Arthur Azevedo de Amorim / stdpp
BSD 3-Clause "New" or "Revised" License

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Sep 17, 2020

0 0 0 0

Updated Sep 17, 2020
View Iris project

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

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

0

Updated Jun 08, 2022

0

Updated Jun 08, 2022
View Interactive Programming for CAD CGF project

Aman Shankar Mathur / Interactive Programming for CAD CGF

Integrates programming and direct manipulation for CAD.

0

Updated Feb 20, 2023

0 0 0 0

Updated Feb 20, 2023
View PROSA - Formally Proven Schedulability Analysis project

Lasse Blaauwbroek / 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 Jan 28, 2023

0 0 0 0

Updated Jan 28, 2023
View Iris project

Glen Mével / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Feb 02, 2022

0 0 0 0

Updated Feb 02, 2022
View iris-coq project

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
View Iris project

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
View academicpages project

Carina Schmitt / academicpages
MIT License

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

0

Updated Dec 18, 2025

0 1 0 0

Updated Dec 18, 2025
View stdpp project

Dorian Lesbre / stdpp
BSD 3-Clause "New" or "Revised" License

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Dec 11, 2023

0 0 0 0

Updated Dec 11, 2023
View blueprint-dsb-media project

cld / blueprint / systems / blueprint-dsb-media

0

Updated Jan 22, 2024

0 0 0 0

Updated Jan 22, 2024
View stdpp project

Hai Dang / stdpp
BSD 3-Clause "New" or "Revised" License

0

Updated Feb 21, 2019

0 0 0 0

Updated Feb 21, 2019
View spark project

cld / systems / spark
Apache License 2.0

Spark instrumented with tracing framework. Up to date with version 1.6.1; last modified end of 2017. Most up to date branch is brownsys-tracingplane-v1.6.1

0

Updated Jan 07, 2019

0 0 0 0

Updated Jan 07, 2019
View transfinite project

Dongjae Lee / transfinite
Creative Commons Attribution 4.0 International

Iris with transfinite step-indexing

0

Updated Aug 03, 2025

0 0 0 0

Updated Aug 03, 2025
View Actris project

Sanjit Bhat / Actris
BSD 3-Clause "New" or "Revised" License

0

Updated Sep 01, 2025

0 0 0 0

Updated Sep 01, 2025
View ReLoC project

Arthur Azevedo de Amorim / ReLoC
BSD 3-Clause "New" or "Revised" License

A logic for proving contextual refinements project website(https://cs.ru.nl/~dfrumin/reloc/)

0

Updated Oct 29, 2025

0 0 0 0

Updated Oct 29, 2025