Pinned Repositories
531
5/3/1 program
aoc24
Advent of Code 2024
coq-fn
echo-bedriftstur-backend
Backend for the website of echo's student trip to Oslo.
echo-bedriftstur-frontend
Frontend for the website of echo's student trip to Oslo.
macbook-lighter
Macbook screen and keyboard backlight on the ambient light
pbconsulting.no
Nettsiden til pbconsulting.no
platform
thesis
My master thesis (and related code) in Logic at the University of Bergen.
echo-web
Nettsiden til echo – Linjeforeningen for informatikk
bakseter's Repositories
bakseter/echo-bedriftstur-frontend
Frontend for the website of echo's student trip to Oslo.
bakseter/echo-bedriftstur-backend
Backend for the website of echo's student trip to Oslo.
bakseter/531
5/3/1 program
bakseter/coq-fn
bakseter/platform
bakseter/thesis
My master thesis (and related code) in Logic at the University of Bergen.
bakseter/aoc24
Advent of Code 2024
bakseter/macbook-lighter
Macbook screen and keyboard backlight on the ambient light
bakseter/pbconsulting.no
Nettsiden til pbconsulting.no
bakseter/regn.be
regn.be Elm