Explore projects
-
-
-
Updated
-
Updated
-
-
-
FishMet is a mechanistic, process-based simulation model aimed at predicting appetite, feed intake and growth in salmonid fish. More information at https://fishmet.uib.no/
Updated -
Updated
-
Analysis of transient events from functional imaging data
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
-
Homotopy type theory cheatsheets to read the HoTT Book
Updated -
-
An Agda development of set theory inside homotopy type theory.
Updated -
Updated
-
Updated
-
Updated