keikonakata

Programming, constructive mathematics and topology, which are all beautifully related.

Pinned Repositories

cpp
Language:C++00
cpp2coq
Language:C++10
HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
Language:Haskell00
keikonakata.base
Language:HTML00
keikonakata.github.io
Language:HTML00
rustMisc
Language:Rust00
scala
The Scala programming language
Language:Scala00
shapeless
Generic programming for Scala
Language:Scala00
solo5
A sandboxed execution environment for unikernels
Language:C10
tla
Language:TLA00

keikonakata's Repositories

keikonakata/cpp2coq
Language:C++10
keikonakata/solo5
A sandboxed execution environment for unikernels
Language:C10
keikonakata/cpp
Language:C++00
keikonakata/HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
Language:Haskell00
keikonakata/keikonakata.base
Language:HTML00
keikonakata/keikonakata.github.io
Language:HTML00
keikonakata/rustMisc
Language:Rust00
keikonakata/scala
The Scala programming language
Language:Scala00
keikonakata/shapeless
Generic programming for Scala
Language:Scala00
keikonakata/tla
Language:TLA00
keikonakata/src-netbsd
Mirror of NetBSD sources useful with rump kernels
keikonakata/TypeLevelSummitBerlin2018
1