Pinned Repositories
cJSON
Ultralightweight JSON parser in ANSI C
CSI2Rx
Open Source 4k CSI-2 Rx core for Xilinx FPGAs
graph-refine
HOL
This is a fork of the HOL4 sources, used by the seL4 test infrastructure. See the original above, or visit the main website:
isabelle
git mirror of the Munich isabelle hg repository
kdlenv
kdl env
kindleenv
kindle kor
l4v
seL4 specification and proofs
polyml
This is a clone of Poly/ML which contains the extra branch successful-decompile. See the original or main website:
seL4
The seL4 microkernel
drmplanet's Repositories
drmplanet/cJSON
Ultralightweight JSON parser in ANSI C
drmplanet/CSI2Rx
Open Source 4k CSI-2 Rx core for Xilinx FPGAs
drmplanet/graph-refine
drmplanet/HOL
This is a fork of the HOL4 sources, used by the seL4 test infrastructure. See the original above, or visit the main website:
drmplanet/isabelle
git mirror of the Munich isabelle hg repository
drmplanet/kdlenv
kdl env
drmplanet/kindleenv
kindle kor
drmplanet/l4v
seL4 specification and proofs
drmplanet/polyml
This is a clone of Poly/ML which contains the extra branch successful-decompile. See the original or main website:
drmplanet/seL4
The seL4 microkernel
drmplanet/sel4bench
sel4 benchmarking applications and support library.
drmplanet/sel4test
Test suite for seL4.
drmplanet/vbox
drmplanet/verification-manifest
Manifests for the collection of verification repositories