Explore projects

I

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

The Iron logic for precise reasoning about resources [project website]

1

Updated Oct 08, 2024

1 2 0 0

Updated Oct 08, 2024
G

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

A combination of GPS and FSL in the ORC11 semantics (the promising semantics WITHOUT promises)

1

Updated Oct 09, 2024

1 2 0 1

Updated Oct 09, 2024
C

Amin Timany / coq-stdpp
BSD 3-Clause "New" or "Revised" License

0

Updated Jul 19, 2023

0 0 0 0

Updated Jul 19, 2023
P

Networked Systems / blockchain / other-projects / plot-layout

0

Updated Feb 13, 2023

0 0 0 0

Updated Feb 13, 2023
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
I

Joseph Tassarotti / ipm-fscq-demo
MIT License

This is a demo showing how the the Iris Proof Mode can be used with FSCQ.

0

Updated Jul 16, 2018

0 0 0 0

Updated Jul 16, 2018
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
S

Emanuele D'Osualdo / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 10, 2020

0 0 0 0

Updated Nov 10, 2020
M

Eva Darulova / Metalibm for Daisy

0

Updated Feb 11, 2021

0

Updated Feb 11, 2021
T

Paolo G. Giarrusso / tutorial-popl18

Exercises for the Iris tutorial

0

Updated Nov 12, 2019

0 0 0 0

Updated Nov 12, 2019
S

Ralf Jung / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 18, 2022

0 0 0 1

Updated Nov 18, 2022
I

Simon Hudon / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated May 19, 2021

0 0 0 0

Updated May 19, 2021
L

Xavier Denis / lambda-rust
BSD 3-Clause "New" or "Revised" License

The Coq development of LambdaRust

0

Updated Feb 11, 2021

0 0 0 0

Updated Feb 11, 2021
S

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

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

0

Updated Aug 12, 2022

0 0 0 0

Updated Aug 12, 2022
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
I

Janno / iris-atomic

Logically Atomic Triples in Iris

0

Updated Jul 10, 2017

0 0 0 0

Updated Jul 10, 2017
S

Simon Friis Vindum / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jun 28, 2021

0 0 0 0

Updated Jun 28, 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
C

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

Analysis of type classes for Backpack, part of Scott Kilpatrick's PhD thesis. Library for determining the worlds of type class knowledge that modules have. Also a binary, orphans-stats, to compute statistics about orphan instances.

0

Updated Aug 05, 2021

0 0

Updated Aug 05, 2021
L

FCS / lang-sandbox-coq
BSD 3-Clause "New" or "Revised" License

Coq development for "The High-Level Benefits of Low-Level Sandboxing"

0

Updated Nov 06, 2019

0 1

Updated Nov 06, 2019