Peter Chubb's repositories
latex-poetry
Tools for typesetting books of poetry
anura
Anura Engine
blacksquare
A Python package for crossword creators.
foboot
Bootloader for Fomu
fomu-workshop
Support files for participating in a Fomu workshop
HDMI2USB-litex-firmware
A version of the HDMI2USB firmware based around the misoc+migen tools produced by m-labs.
HiFive_U-Boot
HiFIve Unleashed U-Boot
htmlpreview.github.com
HTML Preview for GitHub Repositories
ics.py
Pythonic and easy iCalendar library (rfc5545)
microkit
Microkit - A simple operating system framework for the seL4 microkernel
microkit_tutorial
A tutorial for learning the seL4 Microkit
mod_python
mod_python
OdroidC4-SD-Device-Driver
Attempting to port the RP3 eMMC Driver to a readable Odroid C4 Device Driver
openssh-portable
Portable OpenSSH
purple-mattermost
A libpurple/Pidgin plugin for Mattermost
pyteamcity
Use the TeamCity REST API from Python
seL4-docs
This is the source of the seL4 docs.
seL4_tools
Basic tools for building seL4 projects
sel4runtime
A minimal runtime for seL4 applications.
SwagBadgeBatteryPack
Battery pack for LCA2021 Swag Badge
u-boot-1
u-boot for ntablet
website
The seL4.systems website
websockets
Library for building WebSocket servers and clients in Python