bacam Goto Github PK

antennapod

A podcast manager for Android

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.

coqjvm

Coq executable semantics and resource verifier

freebsd-src

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

graph-refine

hamlet

SML reference interpreter

handlers-in-ott

Effect handlers in Ott

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

logmerge

Merge log entries in order from several files

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

piperlog

Log summary generator

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