Pinned Repositories
boot-sector-drmario
x86 implementation of Dr Mario in 16 bit x86. Someday this will fit in 512 bytes. It is currently 707 bytes.
circuit-synthesis
compilers for arithmetic circuits
clt13-hs
Haskell implementation of the CLT13 multilinear map
combustion
a chess bot to warm up your computer for the winter months
cryptobib-fuzzy-finder
script to hook fzf up to cryptobib for easy citation discoveries
funn
Neural networks built in Fancy Garbling
garbled-circuits
haskell implementation of garbled circuits
gutenhasktags
Simple wrapper around hasktags to allow it to work with vim-gutentags
RogueMonad
yet another roguelike
wildcard-obfuscation
Implementation of wildcard obfuscation protocol in Rust
spaceships's Repositories
spaceships/circuit-synthesis
compilers for arithmetic circuits
spaceships/garbled-circuits
haskell implementation of garbled circuits
spaceships/boot-sector-drmario
x86 implementation of Dr Mario in 16 bit x86. Someday this will fit in 512 bytes. It is currently 707 bytes.
spaceships/RogueMonad
yet another roguelike
spaceships/clt13-hs
Haskell implementation of the CLT13 multilinear map
spaceships/combustion
a chess bot to warm up your computer for the winter months
spaceships/cryptobib-fuzzy-finder
script to hook fzf up to cryptobib for easy citation discoveries
spaceships/funn
Neural networks built in Fancy Garbling
spaceships/gutenhasktags
Simple wrapper around hasktags to allow it to work with vim-gutentags
spaceships/wildcard-obfuscation
Implementation of wildcard obfuscation protocol in Rust
spaceships/zimmerman15
spaceships/Polygeist
C/C++ frontend for MLIR. Pinned to tagged version of LLVM.
spaceships/pretty-code-boxes
pretty code listing environment in latex
spaceships/vim-gutentags
A Vim plugin that manages your tag files
spaceships/zimmerman15-hs
Haskell implementation of the Zimmerman15 obfuscation scheme