Ben Laurie's repositories
objecthash
A way to cryptographically hash objects (in the JSON-ish sense) that works cross-language. And, therefore, cross-encoding.
covid-pass
Information about COVID passes.
trillian-examples
A place to store some examples which use Trillian APIs to build things.
bff-ben
Fing about with BFF and Friends.
cgal
The public CGAL repository, see the README below
cheriot-rtos
The RTOS components for the CHERIoT research platform
go-i8080
Intel 8080 emulator in Golang
go-terminology
A SNOMED terminology server and command line tool.
keystone-demo
Demo host and enclave applications exercising most functionality.
oak
Meaningful control of data in distributed systems.
opencv
Open Source Computer Vision Library
riscv-v-spec
Working draft of the proposed RISC-V V vector extension
rust-cheri
Fork of Rust adding CHERI support
sonata-system
A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI