Similar repositories to input-output-hk/qeditas-cryptohash:
input-output-hk/qeditas-cryptohash
github
similar
gibiansky/IHaskell
github
similar
aquynh/capstone
github
similar
input-output-hk/qeditas-egal
github
similar
input-output-hk/qeditas-ledgertheory
github
similar
input-output-hk/cardano-ledger-high-assurance
github
similar
input-output-hk/qeditas
github
similar
miniKanren/sokuza-kanren
github
similar
Zilliqa/scilla-coq
github
similar
input-output-hk/rscoin-haskell
github
similar
UniFormal/MMT
github
similar
maximedenes/native-coq
github
similar
StanfordPL/strata
github
similar
input-output-hk/ouroboros-high-assurance
github
similar
OCamlPro/tryocaml
github
similar
runtimeverification/iele-semantics
github
similar
coq-concurrency/pluto
github
similar
jfdm/idris-containers
github
similar
input-output-hk/stack2nix
github
similar
input-output-hk/iohk-ops
github
similar
domenkozar/hie-nix
github
similar
idris-hackers/idris-crypto
github
similar
Twinside/Rasterific
github
similar
janestreet/sexplib
github
similar
well-typed/generics-sop
github
similar
input-output-hk/marlowe
github
similar
purescript/pursuit
github
similar
datprotocol/DEPs
github
similar
astampoulis/makam
github
similar
clarus/coq-chick-blog
github
similar
clarus/coq-of-ocaml
github
similar
justinethier/husk-scheme
github
similar
idris-hackers/idris-demos
github
similar
jscert/jscert
github
similar
travisbhartwell/nix-emacs
github
similar
Euterpea/Euterpea2
github
similar
QuickChick/QuickChick
github
similar
input-output-hk/mantis
github
similar
pjotrp/guix-notes
github
similar
idris-hackers/idris-mode
github
similar