hilmar1

Pinned Repositories

cybno
cyb.no
Language:Astro2 9 49
Meny
React app som viser menyen
Language:JavaScript2 4 03
redirect
*.cyb.no
Language:PHP4 9 112
CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Language:Rust00
cybno
cyb.no
Language:HTML00
homebrew-gepetto
Collection of Formulas for the HomeBrew package manager
Language:Ruby00
IN2060-gruppe4
00
internsystem
Internsystem for Cybernetisk Selskab
Language:Python00
Kos-Med-Kalkulus
Dette repoet inneholder omskrivninger av teoremer fra Kalkulus (Tom Lindstrøm), og Flervariabel Analyse med Linær Algebra (Tom Lindstrøm, Klara Hveberg)
00
redirect
*.cyb.no
Language:PHP00

hilmar1's Repositories

hilmar1/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Language:Rust00
hilmar1/cybno
cyb.no
Language:HTML00
hilmar1/homebrew-gepetto
Collection of Formulas for the HomeBrew package manager
Language:Ruby00
hilmar1/IN2060-gruppe4
00
hilmar1/internsystem
Internsystem for Cybernetisk Selskab
Language:Python00
hilmar1/Kos-Med-Kalkulus
Dette repoet inneholder omskrivninger av teoremer fra Kalkulus (Tom Lindstrøm), og Flervariabel Analyse med Linær Algebra (Tom Lindstrøm, Klara Hveberg)
00
hilmar1/redirect
*.cyb.no
Language:PHP00