Gerwin Klein
lsf37
Proves stuff. Chief Scientist and Co-Founder at Proofcraft
Languages
Top Repositories
TextMate syntax highlighting for the Isabelle theorem prover
seL4 specification and proofs
The seL4 microkernel
RFCs for the seL4 ecosystem
Materials for a tutorial on how to use Rust to build on top of seL4.
This is the source of the seL4 docs.
Repositories
19seL4 specification and proofs
The seL4 microkernel
TextMate syntax highlighting for the Isabelle theorem prover
RFCs for the seL4 ecosystem
Materials for a tutorial on how to use Rust to build on top of seL4.
This is the source of the seL4 docs.
CI GitHub actions for the seL4 repositories
The seL4.systems website
No description provided.
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
Basic tools for building seL4 projects
RISC-V Open Source Supervisor Binary Interface
The main CAmkES tool
Capability Distribution Language tools for seL4
Pygments is a generic syntax highlighter written in Python
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
SMACCMPilot flight controller
MAVLink micro air vehicle marshalling / communication library
An umbrella repository including all of the dependencies to build the smaccmpilot project