No description
Find a file
Repository files (latest commit first)
Filename Latest commit message Latest commit date
2026-11-07 18:05:29 +01:00
README.md Uppdatera README.md 2026-11-07 18:05:29 +01:00

I am a software developer with a particular focus on system software, security, safety and formal methods.