qredek

Pinned Repositories

orbstack
Fast, light, simple Docker containers & Linux machines
Language:Shell7.6k 26 2k75
bound
Combinators for manipulating locally-nameless generalized de Bruijn terms
Language:Haskell00
miden-vm
STARK-based virtual machine
Language:Rust00
rust
Empowering everyone to build reliable and efficient software.
Language:Rust108k 1.5k 60.2k14k

qredek's Repositories

qredek/bound
Combinators for manipulating locally-nameless generalized de Bruijn terms
Language:Haskell00
qredek/miden-vm
STARK-based virtual machine
Language:Rust00