QEMU with support for CHERI

Envision a future where every student can read all the code of a teaching operating system.

Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security

A Distributed Operating System for ESP32 and ESP8266 Microcontrollers

A translator to translate RV32I to REBEL-6. Includes custom assemblers to output RV32I (and hopefully soon REBEL-6) MRCS-readable object files, and assembly level simulators to simulate RV32I and R…

Balanced ternary logic SoC with CPU, memory controllers, and complete synthesis flow for silicon fabrication

C Implementation of a Software Framework for Service-Oriented Applications with PUS Support

CMSIS-DSP embedded compute library for Cortex-M and Cortex-A

The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.

A flight software framework in SPARK/Ada

A launch point for your personal nvim configuration

Plan9 from Containerspace

CSCD70 Compiler Optimization

CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities

Example code for compilers textbook.

Scratch repository for thesis research code

Akaros Operating System

Ada Bare Bones OS development tutorial source code