Explore projects

S

Timmy Weerwag / splc
Other

0

Updated Jun 20, 2016

0 0 0 0

Updated Jun 20, 2016
H

Dan Frumin / HoTT-encode-decode

Encode-decode method

0

Updated Jul 27, 2017

0 0 0 0

Updated Jul 27, 2017
R

sovereign / ReLoC

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

0

Updated Feb 02, 2018

0 0 0 0

Updated Feb 02, 2018
C

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

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

0

Updated Apr 17, 2019

0 0 0 0

Updated Apr 17, 2019
R

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

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

0

Updated Apr 17, 2019

0 0 0 0

Updated Apr 17, 2019
I

Dan Frumin / iris-snippets

Various snippets of code and small programs related to Iris

0

Updated Apr 29, 2019

0 0 0 0

Updated Apr 29, 2019
C

Michiel Philipse / Coq Multi-Agent Systems

0

Updated Sep 02, 2021

0 0 0 0

Updated Sep 02, 2021
S

Wessel de Weijer / stage22

0

Updated Apr 28, 2022

0 0 0 0

Updated Apr 28, 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
L

Sander Suverkropp / Lsharp in Coq

0

Updated Aug 30, 2022

0 0 0 0

Updated Aug 30, 2022
M

Simcha van Collem / MFoCS Seminar 2023

0

Updated Feb 23, 2023

0 0 0 0

Updated Feb 23, 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
R

Bálint Kocsis / Research Internship

0

Updated Jul 24, 2023

0 0 0 0

Updated Jul 24, 2023
B

Simcha van Collem / Bachelor Thesis

0

Updated Aug 30, 2023

0 0 0 0

Updated Aug 30, 2023
M

Jeroen Kool / My Iris project

1

Updated Mar 20, 2024

1 0 0 0

Updated Mar 20, 2024
H

Orpheas van Rooij / Hazel
GNU General Public License v3.0 or later

0

Updated May 03, 2024

0 0 0 0

Updated May 03, 2024
Marijn van Wezel / course-2023-2024
BSD 3-Clause "New" or "Revised" License

0

Updated May 22, 2024

0 0 0 0

Updated May 22, 2024
program-verification / course-2023-2024
BSD 3-Clause "New" or "Revised" License

0

Updated Jun 22, 2024

0 3 0 0

Updated Jun 22, 2024
H

Orpheas van Rooij / Haffel
GNU General Public License v3.0 or later

0

Updated Jul 11, 2024

0 0 0 0

Updated Jul 11, 2024
M

Wessel de Weijer / ms thesis

0

Updated Aug 07, 2024

0 0 0 0

Updated Aug 07, 2024