lsf37

Gerwin Klein's repositories

TextMate syntax highlighting for the Isabelle theorem prover

BSD-2-Clause2 2 2

seL4 specification and proofs

Language:IsabelleNOASSERTION1 1 3

The main CAmkES tool

Language:PythonNOASSERTION000

Capability Distribution Language tools for seL4

Language:HaskellNOASSERTION010

CI GitHub actions for the seL4 repositories

Language:Python000

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

Language:RubyMIT020

MAVLink micro air vehicle marshalling / communication library

Language:JavaScriptLGPL-3.0020

RISC-V Open Source Supervisor Binary Interface

Language:CNOASSERTION000

Pygments is a generic syntax highlighter written in Python

Language:PythonBSD-2-Clause010

The seL4 microkernel

Language:CNOASSERTION010

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

Language:Shell000

Basic tools for building seL4 projects

Language:CNOASSERTION000

An umbrella repository including all of the dependencies to build the smaccmpilot project

Language:C030

SMACCMPilot flight controller

Language:HaskellNOASSERTION030

The seL4.systems website

Language:HTML010