Pre-built copy of the web renderer for Swift-DocC documentation.

A Swift package for encoding and decoding Swift Symbol Graph files.

The Foundation Project, providing core utilities, internationalization, and OS independence

A set of Swift libraries for parsing, inspecting, generating, and transforming Swift source code.

Language Server Protocol implementation for Swift and C-based languages

Subprocess is a cross-platform package for spawning processes in Swift.

A modern, expressive testing package for Swift

The Foundation project

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