jonwoodruff

Researcher in Computer Architecture. Mainly CHERI and related projects so far.

University of CambridgeCambridge

Pinned Repositories

bsc
Bluespec Compiler (BSC)
Language:Haskell902 49 299141
Flute
RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance
Language:Bluespec345 22 1554
cheribsd
FreeBSD adapted for CHERI-RISC-V and Arm Morello.
Language:C154 41 51758
cheritrace
Library for interacting with CHERI streamtraces
Language:C++00
Flute
RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance
Language:Verilog00
HymnsRadio
Fork of Media Streaming with ExoPlayer codelab to specialise to playing a single shoutcast stream
Language:Kotlin11
llvm-test-suite
Language:Logos00
QuickCheckVEngine
A RISC-V TestRIG Verification Engine based on QuickCheck
Language:Haskell00
RVBS
RISC-V BSV Specification
Language:Bluespec00
VirtualDevice
A Bluespec AXI component that is intended to act as a virtual device with a "device" interface and a management interface.
Language:Bluespec01

jonwoodruff/HymnsRadio
Fork of Media Streaming with ExoPlayer codelab to specialise to playing a single shoutcast stream
Language:Kotlin11
jonwoodruff/cheritrace
Library for interacting with CHERI streamtraces
Language:C++00
jonwoodruff/Flute
RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance
Language:Verilog00
jonwoodruff/llvm-test-suite
Language:Logos00
jonwoodruff/QuickCheckVEngine
A RISC-V TestRIG Verification Engine based on QuickCheck
Language:Haskell00
jonwoodruff/RVBS
RISC-V BSV Specification
Language:Bluespec00
jonwoodruff/VirtualDevice
A Bluespec AXI component that is intended to act as a virtual device with a "device" interface and a management interface.
Language:Bluespec01