Projects · Explore

Explore GitLab

Discover projects, groups and snippets. Share your projects with others

H

pacer / httpd-2.4.33
Apache License 2.0

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
M

pacer / mediawiki-1.27.1
Other

0

Updated Dec 29, 2022

0 0 0 1

Updated Dec 29, 2022
M

pacer / memcached-1.6.9
Other

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
P

Aastha Mehta / pacer

0

Updated Dec 29, 2022

0 0

Updated Dec 29, 2022
R

Tobias Blaß / rosllama-experimental-setup

Experimental setup of the ROS-Llama paper for sharing or export as an artifact

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
C

Paul Francis / Census Misinterpretation

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
E

Matthieu Sozeau / examples
Other

Some example verification demonstrating the use of Iris.

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
D

Vabuk Pahari / data_analysis_dark_fee

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
Glen Mével / Iris
Other

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

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
Adam / Iris
Other

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

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
S

Glen Mével / stdpp
Other

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

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
C

Iris / Coq Tricks

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
Vincent / Iris
Other

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

0

Updated Dec 29, 2022

0 0

Updated Dec 29, 2022
P

Andrew Hirsch / Pirouette Coq Code

Coq code verifying theorems for Pirouette.

0

Updated Dec 29, 2022

0 0 0 1

Updated Dec 29, 2022
A

operating-systems / ws21 / assignments
Other

0

Updated Dec 29, 2022

0 1 0 1

Updated Dec 29, 2022
F

Mateusz Rychlicki / FairSynCMakeList

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
C

Aman Shankar Mathur / Constraint Synthesis for CAD

Public repository of the paper 'Constraint Synthesis for Parametric CAD'.

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
S

Abhishek Anand / stdpp
Other

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

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
Lennard Gäher / ReLoC
Other

A logic for proving contextual refinements [project website]

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
S

Jan / stdpp
Other

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

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022