Explore projects

A

Dan Frumin / Actris

0

Updated Jun 20, 2021

0 0 0 0

Updated Jun 20, 2021
A

Iris / Actris

1

Updated Sep 04, 2024

1 3 5 5

Updated Sep 04, 2024
A

Jonas Kastberg / actris

0

Updated Oct 18, 2019

0 0 0 0

Updated Oct 18, 2019
A

tlsomers / Actris

0

Updated Mar 05, 2024

0 0 0 0

Updated Mar 05, 2024
B

Iris / bitvector

0

Updated May 04, 2023

0 0 0 0

Updated May 04, 2023
C

Iris / c

Unmaintained repository. A monadic translation of mini C into Iris's HeapLang [project website]

0

Updated Feb 04, 2021

0 1 0 0

Updated Feb 04, 2021
C

Ralf Jung / cfml2

Fork of https://gitlab.inria.fr/charguer/cfml2

0

Updated Jul 13, 2018

0 0 0 0

Updated Jul 13, 2018
C

Iris / Coq Tricks

0

Updated Dec 01, 2021

0 0 0 0

Updated Dec 01, 2021
C

Dan Frumin / coq-stdpp

0

Updated Aug 09, 2022

0 0 0 1

Updated Aug 09, 2022
C

David Swasey / coq-stdpp

0

Updated Feb 23, 2020

0 0 0 0

Updated Feb 23, 2020
C

Janno / coq-stdpp

0

Updated Apr 29, 2022

0 0 0 0

Updated Apr 29, 2022
C

Marianna Rapoport / coq-stdpp

0

Updated Jul 23, 2018

0 0 0 0

Updated Jul 23, 2018
C

Benoit Viguier / coq-stdpp

0

Updated Apr 19, 2022

0 0 0 0

Updated Apr 19, 2022
C

Amin Timany / coq-stdpp

0

Updated Jul 19, 2023

0 0 0 0

Updated Jul 19, 2023
D

AVA / daisy-certification-public

0

Updated Aug 11, 2017

0 0

Updated Aug 11, 2017
D

David Swasey / derek-popl18-talk

Safety of a syntactically unsafe symbol ADT.

1

Updated Jan 29, 2018

1 0 0 0

Updated Jan 29, 2018
Iris / Diaframe

Automation for Iris

0

Updated Sep 06, 2024

0 1 0 8

Updated Sep 06, 2024
Tej Chajed / Diaframe

Automation for Iris

0

Updated Jul 18, 2024

0 0 0 0

Updated Jul 18, 2024
D

Iris / DimSum

0

Updated Aug 23, 2024

0 2 2 0

Updated Aug 23, 2024
D

FCS / dPCF Public releases

Public releases for the dPCF project

0

Updated Jun 26, 2023

0 0 0 0

Updated Jun 26, 2023