Beast code in Giters

Robert Norton's repositories

Main public package repository for OPAM, the source package manager of OCaml.

Language:ShellCC0-1.02 10

Adaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features

Language:C++NOASSERTION1 10

Sail RISC-V model

Language:CoqNOASSERTION100

The public drafts of the CHERIoT Programmers' Guide

Language:Dockerfile000

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

Language:BluespecNOASSERTION000

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

Language:CNOASSERTION010

Scripts for creating the CHERIoT dev container

Language:DockerfileMIT000

Web-app for processing, logging and visualising energy, temperature and other environmental data

Language:PHPAGPL-3.0000

Fork of LLVM adding CHERI support

Language:C++NOASSERTION010

Suite for benchmarking malloc implementations.

Language:CMIT000

Message passing based allocator

Language:C++MIT000