Curtis Millar's repositories
nsa-crypto
English substitution chipher game
cogent
Proof-Code Cogeneration
Language:IsabelleNOASSERTION000
Language:Rust000
Language:Rust000
Language:Rust000
Language:Rust000
Language:Rust000
finite-model
Rust crate for developing and checking models
Language:Rust000
firmware
This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU firmware.
Language:C000
l4v
seL4 specification and proofs
NOASSERTION000
Language:C000
Language:Makefile000
monday-talk-2019
A brief tour of WASM
Language:Python000
platform-sel4-docs
Documentation on a simple operating system platform to run on seL4
Language:RustBSD-2-Clause000
seL4-CAmkES-L4v-dockerfiles
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
NOASSERTION000
000
xargo
The sysroot manager that lets you build and customize `std`
Apache-2.0000
Language:Rust000