Explore projects

I

Janno / iris-atomic

Logically Atomic Triples in Iris

0

Updated Jul 10, 2017

0 0 0 0

Updated Jul 10, 2017
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
L

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

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

0

Updated Feb 05, 2021

0 0 0 0

Updated Feb 05, 2021