vue.js/bootstrap code for editing Norsk ordbank
Vue-komponent for å vise bøyninger av ord
An Agda development of set theory inside homotopy type theory.
Bergen snow simulator
kepli4199 skeleton oblig2