Explore projects
-
Håkon Gylterud / Myott
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
-
Updated
-
Updated
-
Updated
-
An Agda development of set theory inside homotopy type theory.
Updated -
Updated
-
Marco van Hulten / Dot files and a management tool
Apache License 2.0This contains a directory with dot files (without the dots) as well as a script to safely install your dot files.
Updated -
Marco van Hulten / Agato time reporting and recording
Apache License 2.0Updated -
Updated
-
Updated
-
Updated
-
This presentation is part of Metacenter's HPC/NIRD user course of March 2021. The slides are in crypto-users.sent; it is in plain text and can be read as is. You can also check out and use https://tools.suckless.org/sent/ to show slides.
Updated