Similar repositories to input-output-hk/qeditas-egal:
input-output-hk/qeditas-egal
github
similar
gibiansky/IHaskell
github
similar
aquynh/capstone
github
similar
input-output-hk/qeditas-cryptohash
github
similar
input-output-hk/qeditas-ledgertheory
github
similar
input-output-hk/qeditas
github
similar
miniKanren/sokuza-kanren
github
similar
damien-pous/relation-algebra
github
similar
input-output-hk/rscoin-haskell
github
similar
league/qcheck
github
similar
OCamlPro/tryocaml
github
similar
coq-concurrency/pluto
github
similar
TheoWinterhalter/formal-type-theory
github
similar
input-output-hk/stack2nix
github
similar
ejgallego/coq-serapi
github
similar
input-output-hk/iohk-ops
github
similar
domenkozar/hie-nix
github
similar
idris-hackers/idris-crypto
github
similar
teyjus/teyjus
github
similar
runtimeverification/iele-semantics
github
similar
mit-plv/fiat
github
similar
janestreet/sexplib
github
similar
coq-community/math-classes
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
mattam82/Coq-Equations
github
similar
idris-hackers/idris-demos
github
similar
travisbhartwell/nix-emacs
github
similar
LPCIC/elpi
github
similar
input-output-hk/mantis
github
similar
pjotrp/guix-notes
github
similar
idris-hackers/idris-mode
github
similar
acl2/acl2
github
similar
antalsz/hs-to-coq
github
similar
LaurentMazare/tensorflow-ocaml
github
similar
justinethier/husk-scheme
github
similar
ProofGeneral/PG
github
similar