Explore projects

V

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
T

Baltasar Dinis / thesis

0

Updated Dec 02, 2022

0 0 0 0

Updated Dec 02, 2022
S

SAV / sav-science

LaTeX package for weak memory papers

0

Updated Apr 23, 2024

0 0 0 0

Updated Apr 23, 2024
R

Xavier Denis / rusthornbelt-latex

0

Updated Feb 16, 2021

0 0 0 0

Updated Feb 16, 2021
R

Yusuke Matsushita / RustHornBelt Old

RustHorn × RustBelt

0

Updated Feb 26, 2021

0 0 0 0

Updated Feb 26, 2021
R

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
P

Aman Shankar Mathur / PsychToolboxVR

0

Updated Feb 20, 2023

0 0 1 0

Updated Feb 20, 2023
M

Adrian Dapprich / master-thesis

0

Updated Apr 19, 2024

0 0 0 0

Updated Apr 19, 2024
L

Eva Darulova / latex-tips-tricks

1

Updated Jun 14, 2022

1 1 1 0

Updated Jun 14, 2022
I

Amin Timany / iris-coq
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris

0

Updated Sep 09, 2023

0 0 0 0

Updated Sep 09, 2023
I

Michael Sammler / iris-coq
Creative Commons Attribution 4.0 International

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

0

Updated Feb 04, 2020

0 0 0 0

Updated Feb 04, 2020
I

Janno / iris-coq
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris

0

Updated Dec 05, 2024

0 0 0 0

Updated Dec 05, 2024
Simon Spies / Iris Parametric Index
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 22, 2024

0 0 0 5

Updated Nov 22, 2024
Pierre Roux / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Sep 16, 2024

0 0 0 0

Updated Sep 16, 2024
Ike Mulder / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Mar 05, 2024

0 0 0 0

Updated Mar 05, 2024
I

Simon Friis Vindum / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Aug 28, 2023

0 0 0 0

Updated Aug 28, 2023
I

Andrej Dudenhefner / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Apr 08, 2021

0 0 0 0

Updated Apr 08, 2021
tjhance / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Sep 03, 2024

0 0 0 0

Updated Sep 03, 2024
Benjamin Peters / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Apr 15, 2024

0 0 0 0

Updated Apr 15, 2024
Vincent / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jun 08, 2022

0

Updated Jun 08, 2022