https://github.com/bakseter/wrist-time

Last synced: 03 Mar 2025

https://github.com/bakseter/coq-fn

Last synced: 03 Mar 2025

https://github.com/bakseter/whpat

A dirt cheap Kubernetes developer platform using Argo CD, Hetzner Cloud, and Terraform Cloud.

Last synced: 07 Apr 2025

https://github.com/bakseter/531

5/3/1 program

Last synced: 03 Mar 2025

https://github.com/bakseter/platform

Last synced: 29 Mar 2025

https://github.com/bakseter/five31

5/3/1 program

Last synced: 12 Mar 2025

https://github.com/bakseter/thesis

My master thesis (and related code) in Logic at the University of Bergen.

coq formalization proof-theory thesis

Last synced: 14 Apr 2025

https://github.com/bakseter/pbconsulting.no

Nettsiden til pbconsulting.no

Last synced: 03 Mar 2025

https://github.com/bakseter/spenn

Last synced: 09 Apr 2025

https://github.com/bakseter/regn.be

regn.be Elm

Last synced: 03 Mar 2025

https://github.com/bakseter/aoc24

Advent of Code 2024

advent-of-code

Last synced: 29 Mar 2025