Similar repositories to mit-plv/bedrock:
mit-plv/bedrock
github
similar
danistefanovic/build-your-own-x
github
similar
tootsuite/mastodon
github
similar
aquynh/capstone
github
similar
gibiansky/IHaskell
github
similar
hecrj/iced
github
similar
sarsko/CreuSAT
github
similar
Eloston/ungoogled-chromium
github
similar
bedrocksystems/cpp2v
github
similar
meilisearch/MeiliSearch
github
similar
roc-lang/roc
github
similar
pixijs/pixi.js
github
similar
mit-plv/bedrock2
github
similar
mit-plv/kami
github
similar
jwiegley/bytestring-fiat
github
similar
smlnj/smlnj
github
similar
tuvtran/project-based-learning
github
similar
oven-sh/bun
github
similar
mit-plv/coqutil
github
similar
CertiCoq/certicoq
github
similar
gallais/parseque
github
similar
snu-sf/paco
github
similar
jship/tao
github
similar
gmalecha/coq-printf
github
similar
coq-community/bits
github
similar
mit-plv/riscv-coq
github
similar
math-comp/hierarchy-builder
github
similar
TOTBWF/muprl
github
similar
mit-plv/fiat
github
similar
Chaaaos/formaltt
github
similar
math-comp/mczify
github
similar
pdarragh/camlrack
github
similar
mit-plv/reification-by-parametricity
github
similar
LPCIC/coq-elpi
github
similar
RobertHarper/hott-notes
github
similar
c-cube/quip
github
similar
sifive/ProcKami
github
similar
lthms/FreeSpec
github
similar
LightAndLight/cbpv
github
similar
mit-plv/bbv
github
similar