Explore projects

Håkon Gylterud / Pandoc Theorem
BSD 3Clause "New" or "Revised" LicenseUpdated 
Updated



Alexey Nesterenko / Databank
GNU General Public License v3.0 or laterLocal copy for demonstration of submodules
Updated 


Sergey.Budaev / FishMet
GNU Affero General Public License v3.0FishMet is a mechanistic, processbased simulation model aimed at predicting appetite, feed intake and growth in salmonid fish. More information at https://fishmet.uib.no/
Updated 

Verktøy for å periodisere og produsere uttrekk av arkiv
Updated 
Updated

Updated


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


Updated

Updated

Updated