Pinned Repositories
arduino--
bff-ben
Fing about with BFF and Friends.
covid-pass
Information about COVID passes.
gfdb
GridFinity Divider Boxes in Fusion 360
go-capsicum
Capsicum shim and utilities for Go.
hacl
Experimental High Assurance Cryptographic Library
lucre
Anonymous ecash
objecthash
A way to cryptographically hash objects (in the JSON-ish sense) that works cross-language. And, therefore, cross-encoding.
Open-Transactions
Transaction processor featuring Untraceable Digital Cash, Anonymous Numbered Accounts, Triple-Signed Receipts, Basket Currencies, and Signed XML Contracts. Also supports cheques and other instruments... it's like PGP for Money.... Windows, Mac OS X and Linux / C++ (with JNI API for Java, jRuby, Jython, etc) incorporating OpenSSL and Lucre blinded tokens.
openssl
TLS/SSL and crypto library
benlaurie's Repositories
benlaurie/objecthash
A way to cryptographically hash objects (in the JSON-ish sense) that works cross-language. And, therefore, cross-encoding.
benlaurie/lucre
Anonymous ecash
benlaurie/gfdb
GridFinity Divider Boxes in Fusion 360
benlaurie/covid-pass
Information about COVID passes.
benlaurie/bff-ben
Fing about with BFF and Friends.
benlaurie/arduino--
benlaurie/trillian-examples
A place to store some examples which use Trillian APIs to build things.
benlaurie/MicrocodeDecryptor
benlaurie/z3
The Z3 Theorem Prover
benlaurie/awesome-2d-lidars
Awesome 2D LiDAR list - specs, protocols, wiring, code, identification photos/videos, performance evaluations
benlaurie/cgal
The public CGAL repository, see the README below
benlaurie/cgal-web
The cgal.org website
benlaurie/cheri-riscv-tests
benlaurie/cheriot-rtos
The RTOS components for the CHERIoT research platform
benlaurie/g2
g2core - The Next Generation
benlaurie/go-i8080
Intel 8080 emulator in Golang
benlaurie/go-terminology
A SNOMED terminology server and command line tool.
benlaurie/keystone
Keystone Enclave (QEMU)
benlaurie/keystone-demo
Demo host and enclave applications exercising most functionality.
benlaurie/libbiarc
benlaurie/oak
Meaningful control of data in distributed systems.
benlaurie/opencv
Open Source Computer Vision Library
benlaurie/Piccolo
RISC-V CPU, simple 3-stage pipeline, for low-end applications (e.g., embedded, IoT)
benlaurie/public-writing
benlaurie/riscv-v-spec
Working draft of the proposed RISC-V V vector extension
benlaurie/rust-cheri
Fork of Rust adding CHERI support
benlaurie/silveroak
Formal specification and verification of hardware, especially for security and privacy.
benlaurie/sonata-system
A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI
benlaurie/tuikit
Tool kit for writing TUI applications in Rust.
benlaurie/twistedringcounter