Similar repositories to seL4/verification-manifest:
seL4/verification-manifest
github
similar
aquynh/capstone
github
similar
pixijs/pixi.js
github
similar
tootsuite/mastodon
github
similar
Eloston/ungoogled-chromium
github
similar
alexcrichton/cc-rs
github
similar
flutter/flutter_web
github
similar
seL4/sel4test-manifest
github
similar
seL4/camkes-manifest
github
similar
KarolS/HaskellChess
github
similar
amutake/coq-extensible-effects
github
similar
ats-lang/ATS-Category
github
similar
afaerber/linux
github
similar
agda/agda-system-io
github
similar
seL4/capdl
github
similar
seL4/seL4_tools
github
similar
tchajed/coq-record-update
github
similar
mit-plv/bedrock
github
similar
uw-unsat/serval
github
similar
uli/basicengine-pcb
github
similar
coq-community/autosubst
github
similar
data61/PSL
github
similar
leanprover/tc
github
similar
shikhin/tetranglix
github
similar
boostorg/variant2
github
similar
geohot/eda-2
github
similar
math-comp/hierarchy-builder
github
similar
SMLFamily/SML-The-Living-Language
github
similar
gz/rust-elfloader
github
similar
uli/basicengine-firmware
github
similar
leanprover/lean2
github
similar
racket/htdp
github
similar
GabrielBB/vscode-lombok
github
similar
yoyz/picoloop
github
similar
KhronosGroup/EGL-Registry
github
similar
seL4/l4v
github
similar
robbertkrebbers/ch2o
github
similar
ekmett/gl
github
similar
idris-lang/idris-tutorial
github
similar
SRI-CSL/PVS
github
similar