Similar repositories to spaceships/garbled-circuits:
spaceships/garbled-circuits
github
similar
shaunlebron/parinfer
github
similar
GaloisInc/cryptol-verifier
github
similar
tmcdonell/Lol-accelerate
github
similar
pankaramp/recurrence
github
similar
jwiegley/simple-ltl
github
similar
haskell-numerics/hmatrix-sundials
github
similar
inanna-malick/hgit
github
similar
nrolland/usingfoundation
github
similar
isomorphism/TexturePNG
github
similar
vincenthz/psec
github
similar
brunjlar/pell
github
similar
danalex97/CircTex
github
similar
spaceships/circuit-synthesis
github
similar
Ziptastic/ziptastic-haskell
github
similar
nwtgck/tableau-solver-haskell
github
similar
rleshchinskiy/vector
github
similar
vincenthz/hs-crypto-pubkey-types
github
similar
jdnavarro/pipes-p2p
github
similar
syallop/Join-Interpreter-Distributed
github
similar
tuura/centrifuge
github
similar
mstksg/emd
github
similar
vincenthz/hs-socks
github
similar
jberryman/almost-inline-asm-haskell-example
github
similar
iostat/relapse
github
similar
sboosali/enumerate
github
similar
cpdurham/accelerate-camera-sandbox
github
similar
vincenthz/hs-siphash
github
similar
rhyskeepence/trigger
github
similar
RNCryptor/rncryptor-hs
github
similar
gmittert/paradise
github
similar
yav/smtLib
github
similar
glguy/ssh-hans
github
similar
selectel/bson-haskell
github
similar
GaloisInc/gidl
github
similar
GaloisInc/simple-tar
github
similar
rpasta42/ChessKell
github
similar
icicle-lang/zebra-ambiata
github
similar
subpl/truth-tables
github
similar
dmjio/c-ffi-example
github
similar