bacam

coqjvm

Coq executable semantics and resource verifier

setupenv

Set up environment variables for an application installed in an arbitrary directory

asl-interpreter

Example implementation of Arm's Architecture Specification Language (ASL)

bbv

Bedrock Bit Vector Library

cheribsd-getting-started

Getting Started with CheriBSD

cheribsd-ports

FreeBSD ports tree adapted for CheriBSD.

freebsd-src

The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....

graph-refine

hamlet

SML reference interpreter

HOL

Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.

l3mips

L3 based MIPS specification and emulator

lalrpop

LR(1) parser generator for Rust

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

NetHack

Fork of the Official NetHack Git Repository

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

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

polyml

Poly/ML

pprint

A pretty-printing combinator library for OCaml

qemu

QEMU with support for CHERI

riscv-isa-sim

Spike, a RISC-V ISA Simulator

sail

Sail architecture definition language

sail-cheri-mips

Sail architecture definition language

sail-cheri-riscv

CHERI-RISC-V model written in Sail

sail-cheri-x86

CHERI-x86-64 model written in Sail

sail-riscv

Sail RISC-V model

TestRIG

Testing processors with Random Instruction Generation

ttrss-reader-fork

Automatically exported from code.google.com/p/ttrss-reader-fork

vimtouch

vimtouch