I'm an iconoclastic engineer, amateur pianist, and political theorist. I believe in cooperation and using formal rigor to make the world a better place.
- Salt Lake City
- blainehansen.me
- @blainehhansen
Pinned Loading
-
magmide/magmide
magmide/magmide PublicA dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
-
adaptive-democracy/hopeful-path
adaptive-democracy/hopeful-path PublicAn open source book discussing Adaptive Democracy.
Vue 15
-
adaptive-democracy/tools
adaptive-democracy/tools PublicSoftware tools for implementing Adaptive Democracy.
Rust 5
-
postgres_migrator
postgres_migrator PublicA postgres migration generator and runner that uses raw declarative sql.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.