Explore projects

A

Orpheas van Rooij / Affine TES

0

Updated Sep 27, 2023

0 0 0 0

Updated Sep 27, 2023
M

Jeroen Kool / My Iris project

1

Updated Sep 26, 2023

1 0 0 0

Updated Sep 26, 2023
R

Bálint Kocsis / Research Internship

0

Updated Sep 07, 2023

0 0 0 0

Updated Sep 07, 2023
B

Simcha van Collem / Bachelor Thesis

0

Updated Aug 30, 2023

0 0 0 0

Updated Aug 30, 2023
program-verification / course-2022-2023
BSD 3-Clause "New" or "Revised" License

0

Updated Jul 14, 2023

0 4 0

Updated Jul 14, 2023
Thorsten Wißmann / Action Codes in Coq
GNU Lesser General Public License v2.1 only

1

Updated Jul 12, 2023

1 0

Updated Jul 12, 2023
M

Wessel de Weijer / ms thesis

0

Updated Mar 16, 2023

0 0 0 0

Updated Mar 16, 2023
M

Simcha van Collem / MFoCS Seminar 2023

0

Updated Feb 23, 2023

0 0 0 0

Updated Feb 23, 2023
L

Sander Suverkropp / Lsharp in Coq

0

Updated Aug 30, 2022

0 0 0 0

Updated Aug 30, 2022
I

Edoardo Putti / incorrectness
BSD 3-Clause "New" or "Revised" License

0

Updated Jun 09, 2022

0 0 0 0

Updated Jun 09, 2022
S

Wessel de Weijer / stage22

0

Updated Apr 28, 2022

0 0 0 0

Updated Apr 28, 2022
C

Michiel Philipse / Coq Multi-Agent Systems

0

Updated Jun 24, 2021

0 0 0 0

Updated Jun 24, 2021
R

sovereign / ReLoC-2
BSD 3-Clause "New" or "Revised" License

https://gitlab.mpi-sws.org/iris/reloc/

0

Updated Nov 27, 2020

0 0 0 0

Updated Nov 27, 2020
C

sovereign / c-monad
BSD 3-Clause "New" or "Revised" License

https://cs.ru.nl/~dfrumin/wpc/index.html

0

Updated Nov 27, 2020

0 0 0 0

Updated Nov 27, 2020
I

Dan Frumin / iris-snippets

Various snippets of code and small programs related to Iris

0

Updated Nov 27, 2020

0 0 0 0

Updated Nov 27, 2020
H

Dan Frumin / HoTT-encode-decode

Encode-decode method

0

Updated Nov 27, 2020

0 0 0 0

Updated Nov 27, 2020
S

Timmy Weerwag / splc
Other

0

Updated Nov 27, 2020

0 0 0 0

Updated Nov 27, 2020
R

sovereign / ReLoC

A mirror of ReLoC - Relational logic for fine-grained concurrency

0

Updated Nov 27, 2020

0 0 0 0

Updated Nov 27, 2020