Explore projects

View master-thesis project

Adrian Dapprich / master-thesis

0

Updated Apr 19, 2024

0 0 0 0

Updated Apr 19, 2024
View Iris project

William Mansky / Iris

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

0

Updated Apr 12, 2024

0 0 0 0

Updated Apr 12, 2024
View Iris project

Ike Mulder / Iris

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

0

Updated Mar 05, 2024

0 0 0 0

Updated Mar 05, 2024
View Iris project

Ralf Jung / Iris

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

0

Updated Feb 20, 2024

0 0 0 0

Updated Feb 20, 2024
View Resilient ABCD project

Daniel Neider / Resilient ABCD

Code and documents for "Resilient Abstraction-Based Controller Design"

0

Updated Jan 02, 2024

0 0 0 0

Updated Jan 02, 2024
View Iris project

Gaëtan Gilbert / Iris

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

0

Updated Nov 20, 2023

0 0 0 0

Updated Nov 20, 2023
View Iris project

Pierre Rousselin / Iris

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

0

Updated Nov 17, 2023

0 0 0 0

Updated Nov 17, 2023
View Iris project

Pierre Roux / Iris

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

0

Updated Nov 03, 2023

0 0 0 0

Updated Nov 03, 2023
View thesis-johnnatan-template project

Johnnatan Messias / thesis-johnnatan-template

0

Updated Sep 17, 2023

0 0 0 0

Updated Sep 17, 2023
View Iris project

Simon Friis Vindum / Iris

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

0

Updated Aug 28, 2023

0 0 0 0

Updated Aug 28, 2023
View Iris project

Gregory Malecha / Iris

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

0

Updated Apr 04, 2023

0 0 0 0

Updated Apr 04, 2023
View Iris project

Armaël Guéneau / Iris

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

0

Updated Mar 02, 2023

0 0 0 0

Updated Mar 02, 2023
View VRTrackingSimulator project

Aman Shankar Mathur / VRTrackingSimulator

A simulator to visualize/analyze tracking data from VR

0

Updated Feb 20, 2023

0 0 0 0

Updated Feb 20, 2023
View PsychToolboxVR project

Aman Shankar Mathur / PsychToolboxVR

0

Updated Feb 20, 2023

0 0 1 0

Updated Feb 20, 2023
View thesis project

Baltasar Dinis / thesis

0

Updated Dec 02, 2022

0 0 0 0

Updated Dec 02, 2022
View Iris project

Niklas Mück / Iris

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

0

Updated Nov 17, 2022

0 0 0 0

Updated Nov 17, 2022
View latex-tips-tricks project

Eva Darulova / latex-tips-tricks

0

Updated Jun 14, 2022

0 1 1 0

Updated Jun 14, 2022
View Iris project

Vincent / Iris

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

0

Updated Jun 08, 2022

0

Updated Jun 08, 2022
View Iris project

Glen Mével / Iris

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

0

Updated Feb 02, 2022

0 0 0 0

Updated Feb 02, 2022
View Iris project

Matthieu Sozeau / Iris

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

0

Updated Jan 14, 2022

0 0 0 0

Updated Jan 14, 2022