A UK capital gains tax calculator written in Swift

Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.

A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good performance

SmartMeter API integration with Octopus Energy (UK) and emoncms

RSD: RISC-V Out-of-Order Superscalar Processor

Sail RISC-V model

CHERI-MIPS model written in Sail

Wallcalendar LaTeX documentclass

Cookiecutter Django is a framework for jumpstarting production-ready Django projects quickly.

Sail architecture definition language

Adaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features

Adaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features