Explore projects

Code for a do-it-yourself weather station based on Arduino hardware

Test repository for Databank Data

Univalent mathematics in Agda

Ever wondered whether a specific dot on the world map was land or water? Wonder no more! With this repo all your water finding needs are covered. Stay tuned for premium features, like "is it Bergen or not".

Semester project INFO212, Project Group 3

IsoTrotter code and sample data.