The Swift Programming Language

An intensely interactive, graphical theorem prover based on natural deduction

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

Advanced Operating Systems project manifest

Advanced Operating Systems project

A cross-platform GUI library for Rust, inspired by Elm

braindump(ag)

For RaspberryPi4 support, use upstream directly. Everything was merged there already. "Das U-Boot" Source Tree

Cogent Project

No-assurance libraries for rapid-prototyping of seL4 apps.

seL4 specification and proofs

Capability Distribution Language tools for seL4

Component Architecture test suite and example apps.

Test suite for seL4.

The main CAmkES tool

sel4 benchmarking applications and support library.

Project to build and test seL4 for many different platforms

Manifest of the seL4bench project, which contains microbenchmarks for seL4.

Basic tools for building seL4 projects

Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.

This is the source of the seL4 docs.

Tutorials for working with seL4 and/or CAmkES.

Manifest for building a virtual machine on seL4 on ARM.