bakseter

Private profile, developer at @computas.

@echo-webkomOslo

Pinned Repositories

531
5/3/1 program
Language:Kotlin1 1 10
aoc24
Advent of Code 2024
Language:Haskell00
coq-fn
Language:Haskell10
echo-bedriftstur-backend
Backend for the website of echo's student trip to Oslo.
Language:Haskell2 1 00
echo-bedriftstur-frontend
Frontend for the website of echo's student trip to Oslo.
Language:Elm6 1 191
macbook-lighter
Macbook screen and keyboard backlight on the ambient light
Language:Shell0 0 00
pbconsulting.no
Nettsiden til pbconsulting.no
Language:Elm0 1 00
platform
Language:HCL1 1 00
thesis
My master thesis (and related code) in Logic at the University of Bergen.
Language:Haskell1 3 00
echo-web
Nettsiden til echo – Linjeforeningen for informatikk
Language:TypeScript14 3 31

bakseter's Repositories

bakseter/echo-bedriftstur-frontend
Frontend for the website of echo's student trip to Oslo.
Language:Elm6 1 191
bakseter/echo-bedriftstur-backend
Backend for the website of echo's student trip to Oslo.
Language:Haskell2 1 00
bakseter/coq-fn
Language:Haskell10
bakseter/five31
5/3/1 program
Language:Kotlin1
bakseter/platform
Language:HCL1 1 00
bakseter/thesis
My master thesis (and related code) in Logic at the University of Bergen.
Language:Haskell1 3 00
bakseter/aoc24
Advent of Code 2024
Language:Haskell00
bakseter/macbook-lighter
Macbook screen and keyboard backlight on the ambient light
Language:Shell0 0 00
bakseter/pbconsulting.no
Nettsiden til pbconsulting.no
Language:Elm0 1 00
bakseter/regn.be
regn.be Elm
Language:Elm00