2.11BSD_X44. A 2.11BSD that implements 4.4BSD's (Lite 2) vm and vnodes

Linux kernel source tree

Official tool to build Ubuntu Images.

Customize and build bootable Ubuntu images.

The Ubuntu guide to installation and usage on single board computers (SBCs)

An experimental bootloader for ChomeOS's depthcharge

Main source code repository of the Tamarin prover for security protocol verification.

TPM GPIO fail detection utility and proof of concept exploit

Truly independent web browser

Removing SHA1

Helios: Or, a Vision in a Dream. A Fragment.

C11 compiler (mirror)

Native Ubuntu installations for Apple silicon hardware

Beta version of the Elm SDK

Reverse engineered Linux driver for the Apple Neural Engine (ANE).

This is official OpenSMTPD Portable repository. Forks, pull requests and other contributions are welcome!

Rust speaker safety daemon for Asahi Linux

Quickly build and run kernels inside a virtualized snapshot of your live system

APFS module for linux, with experimental write support

Userspace audio for Asahi Linux

Builds a Fedora qemu image and vagrant box to run on macOS (Apple silicon)

Reverse-engineering the Apple Video Decoder (AVD)