Brian Campbell's repositories
sail
Sail architecture definition language
sail-riscv
Sail RISC-V model
pprint
A pretty-printing combinator library for OCaml
cheribsd-ports
FreeBSD ports tree adapted for CheriBSD.
cheribsd-getting-started
Getting Started with CheriBSD
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
sail-cheri-riscv
CHERI-RISC-V model written in Sail
freebsd-src
The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....
sail-cheri-x86
CHERI-x86-64 model written in Sail
opam-repository
Main public package repository for opam, the source package manager of OCaml.
ott
Ott is a tool for writing definitions of programming languages and calculi
NetHack
Fork of the Official NetHack Git Repository
bbv
Bedrock Bit Vector Library
sail-cheri-mips
Sail architecture definition language
lalrpop
LR(1) parser generator for Rust
asl-interpreter
Example implementation of Arm's Architecture Specification Language (ASL)
TestRIG
Testing processors with Random Instruction Generation
riscv-isa-sim
Spike, a RISC-V ISA Simulator
HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
hamlet
SML reference interpreter
l3mips
L3 based MIPS specification and emulator
polyml
Poly/ML
qemu
QEMU with support for CHERI
m0-graph-refine-crc
Cortex-M0 CRC example for use with decompilation and graph refinement tools
m0-graph-refine-insertsort
Cortex-M0 insertion sort example for use with decompilation and graph refinement tools
ttrss-reader-fork
Automatically exported from code.google.com/p/ttrss-reader-fork
vimtouch
vimtouch