jeremysinger

capabilitiesforcoders

Open-source textbook about CHERI capabilities, for a developer audience

cw-scraper

gijoe

Glasgow Interactive JavaScript Online Editor

indoor-environmental-sensors

Urban Big Data Centre Housing Sensor Project

morello-early-performance-results

Living document: Early Performance Results from the Prototype Morello Microarchitecture

MaRIONet

MaRIONet The UK Manycore Research Network

Adafruit_CircuitPython_CCS811

circuit python driver for CCS811 air quality sensor

bdwgc

The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehm-gc)

capablevms

cheri-examples

cheri-riscv sample c programs

cheribsd-ports

FreeBSD ports tree adapted for CheriBSD.

cheribuild

Easily build and run CHERI related projects

compsci9001_intro_to_linux

funny_trees

COMPSCI4021 coursework for 2020 U. Glasgow Haskell class

geshi-1.0

Original version of Generic Syntax Highlighter for PHP

glasgow-summer-school

Learning materials for Computing Science Summer School at the University of Glasgow

h2lanl

haskell-wasm

Haskell WebAssembly Toolkit

haskellmooc_logfiles

js-turtle

Turtle graphics in Javascript using HTML5 canvas

learning_a_new_language

MentOS

An educational 32-bit linux-like Operating System, with public bachelor- and master-level course slides.

prof-scraper

COMPSCI4021 Functional Programming coursework for Nov 2020, University of Glasgow

pso-edgeclusters

python-forloop-parser

qemu

QEMU with support for CHERI

shielding

SIGPLAN.github.io

SIGPLAN website

smart-greenhouse

softdevbib

soft-dev.org BibTeX