drmplanet's repositories
cJSON
Ultralightweight JSON parser in ANSI C
Language:CMIT000
Language:PythonNOASSERTION000
HOL
This is a fork of the HOL4 sources, used by the seL4 test infrastructure. See the original above, or visit the main website:
Language:Standard MLNOASSERTION000
isabelle
git mirror of the Munich isabelle hg repository
Language:IsabelleNOASSERTION000
kdlenv
kdl env
Language:C000
kindleenv
kindle kor
Language:C000
l4v
seL4 specification and proofs
Language:IsabelleNOASSERTION000
polyml
This is a clone of Poly/ML which contains the extra branch successful-decompile. See the original or main website:
Language:Standard MLLGPL-2.1000
seL4
The seL4 microkernel
Language:CNOASSERTION000
sel4bench
sel4 benchmarking applications and support library.
Language:CNOASSERTION000
sel4test
Test suite for seL4.
NOASSERTION000
MIT000
verification-manifest
Manifests for the collection of verification repositories
000