benlaurie

objecthash

A way to cryptographically hash objects (in the JSON-ish sense) that works cross-language. And, therefore, cross-encoding.

lucre

Anonymous ecash

gfdb

GridFinity Divider Boxes in Fusion 360

covid-pass

Information about COVID passes.

arduino--

trillian-examples

A place to store some examples which use Trillian APIs to build things.

MicrocodeDecryptor

z3

The Z3 Theorem Prover

cgal

The public CGAL repository, see the README below

cgal-web

The cgal.org website

cheri-riscv-tests

cheriot-rtos

The RTOS components for the CHERIoT research platform

cubebit

Hacking on the Cube:Bit from 4tronix

g2

g2core - The Next Generation

go-i8080

Intel 8080 emulator in Golang

go-terminology

A SNOMED terminology server and command line tool.

keystone

Keystone Enclave (QEMU)

keystone-demo

Demo host and enclave applications exercising most functionality.

libbiarc

oak

Meaningful control of data in distributed systems.

opencv

Open Source Computer Vision Library

Piccolo

RISC-V CPU, simple 3-stage pipeline, for low-end applications (e.g., embedded, IoT)

public-writing

qsym

riscv-v-spec

Working draft of the proposed RISC-V V vector extension

rust-cheri

Fork of Rust adding CHERI support

silveroak

Formal specification and verification of hardware, especially for security and privacy.

sonata-system

A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI

tuikit

Tool kit for writing TUI applications in Rust.

twistedringcounter