arichardson Goto Github PK

academic-admin

:arrow_down: Admin tool for Academic Website Builder

academic-starter-blog

Blog template for Academic Website Builder

argcomplete

Python and tab completion, better together.

asciidoctor-intellij-plugin

AsciiDoc plugin for products on the IntelliJ platform (IDEA, RubyMine, etc)

atf

Libraries to write tests in C, C++ and shell

awk

One true awk

bear

Build EAR

binutils

Port of the GNU Assembler to the CHERI CPU

binutils-gdb

Unofficial mirror of sourceware binutils-gdb repository. Updated daily.

bmake

A git repository for the bmake releases

bodiagsuite

A rescued copy of the old bodiagsuite corpus and some minimal tooling

bsc

Bluespec Compiler (BSC)

cambridge-l41-aos-labs

Cambridge L41/AOS laboratory experiments

capnproto

Cap'n Proto serialization/RPC system

capsicum-test

Test suite for Capsicum

cheri-buildsystem-wrappers

CMake Toolchain files for CHERI

cheri-cap-lib

A library of specific implementations of cheri and providing an abstract interface to those implementations

cheri-compressed-cap

A C library to compress/decompress CHERI capabilities

cheri-docker-images

cheri-hardware-plot

A simple python script to generate pdf graphs out of CheriBSD's libstatcounters

cheri-monorepo-test

cheri-specification

CHERI ISA Specification

cheri-testproject

cheri-tests

A few test programs for CHERI

cheribsd

FreeBSD adapted for the CHERI CPU. WARNING: some programs contain deliberate vulnerabilities

cheribsd-tests

cherios

CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities

cheritest

cheritrace

Library for interacting with CHERI streamtraces

chocolate-doom

Chocolate Doom is a Doom source port that is minimalist and historically accurate.