Similar repositories to echronos/echronos-proofs:
echronos/echronos-proofs
github
similar
danistefanovic/build-your-own-x
github
similar
aquynh/capstone
github
similar
kaizsv/eChronos-Spin
github
similar
isabelle-utp/utp-main
github
similar
davidlazar/llvm-semantics
github
similar
sayon/forthress
github
similar
melvinzhang/scheme2llvm
github
similar
echronos/echronos
github
similar
robbertkrebbers/ch2o
github
similar
Spirit-of-Oberon/ProjectOberon2013
github
similar
seL4/isabelle
github
similar
pirapira/eth-isabelle
github
similar
kelvich/tlaplus_jupyter
github
similar
seL4/l4v
github
similar
aligrudi/neatcc
github
similar
Frama-C/Frama-C-snapshot
github
similar
uw-unsat/hyperkernel
github
similar
airbus-seclab/crashos
github
similar
kframework/c-semantics
github
similar
spencertipping/bash-lambda
github
similar
elastic/elasticsearch-formal-models
github
similar
gkostka/lwext4
github
similar
jcs/payphone
github
similar
wikimedia/puppet
github
similar
zimmski/tavor
github
similar
ankane/groupdate.sql
github
similar
idris-hackers/software-foundations
github
similar
Kha/electrolysis
github
similar
informalsystems/apalache
github
similar
leahneukirchen/cwm
github
similar
vellvm/vellvm
github
similar
eerimoq/monolinux
github
similar
timothycrosley/hypothesis-auto
github
similar
valentin012/conspeech
github
similar
TrustInSoft/tis-interpreter
github
similar
GaloisInc/ivory
github
similar
dselsam/certigrad
github
similar
silentbicycle/theft
github
similar
smackers/smack
github
similar