Explore projects



An Agda development of set theory inside homotopy type theory.
Updated 
Updated






Per Christian Gaustad / FUP
GNU General Public License v2.0 or laterVerktøy for å konvertere FUPen til JSONformat og generere nettsiden https://fupperåd.no
Updated 
Updated

Homotopy type theory cheatsheets to read the HoTT Book
Updated 
Alexey Nesterenko / Databank
GNU General Public License v3.0 or laterLocal copy for demonstration of submodules
Updated 
GEANT4 code to calculate Mean free Path and average energy loss of photons at a given altitude and a given energy. Can be easily change to other particle types.
Updated 
Updated
