Beast code in Giters

drmplanet's repositories

Ultralightweight JSON parser in ANSI C

Language:CMIT000

Open Source 4k CSI-2 Rx core for Xilinx FPGAs

Language:VHDLNOASSERTION020

Language:PythonNOASSERTION000

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

git mirror of the Munich isabelle hg repository

Language:IsabelleNOASSERTION000

kdl env

Language:C000

kindle kor

Language:C000

seL4 specification and proofs

Language:IsabelleNOASSERTION000

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

The seL4 microkernel

Language:CNOASSERTION000

sel4 benchmarking applications and support library.

Language:CNOASSERTION000

Test suite for seL4.

NOASSERTION000

MIT000

Manifests for the collection of verification repositories

000