CapableVMs
We are investigating how programming language virtual machines (VMs) can utilise hardware capabilities.
United Kingdom
Pinned Repositories
bdwgc
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehm-gc)
cheri-compartments-playground
CHERI-ELF-comp
cheri-examples
CHERI sample C programs
cheri_compartments
cheri_misidioms
docs
Documentation
llvm-function-split
v8_bootstrap
A repo containing instructions, scripts, and CMake files to bootstrap building V8 for Morello on CheriBSD
webkit
CapableVMs's Repositories
capablevms/cheri-examples
CHERI sample C programs
capablevms/CHERI-ELF-comp
capablevms/docs
Documentation
capablevms/cheri_misidioms
capablevms/bdwgc
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehm-gc)
capablevms/capablevms.github.io
Capable VMs Website
capablevms/cheri-compartments-playground
capablevms/cheri_compartments
capablevms/llvm-function-split
capablevms/v8_bootstrap
A repo containing instructions, scripts, and CMake files to bootstrap building V8 for Morello on CheriBSD
capablevms/webkit
capablevms/cheri-example-gc
capablevms/cheri-instruction-rcg-gen
Generate Runtime Code Generation library from llvm-tblgen json instruction spec
capablevms/cheri-morello-compartmentalisation
capablevms/cheribsd
FreeBSD adapted for the CHERI CPU.
capablevms/cheribsd-ports
FreeBSD ports tree adapted for CheriBSD.
capablevms/cheribuild
Easily build and run CHERI related projects
capablevms/chromium
The CapableVMs mirror of Chromium's GitHub-tracked source
capablevms/compartment-mapper
Follow capability graphs to map compartments.
capablevms/DSbD-2024-03-Poster
capablevms/function-community-finding
I like misleading names
capablevms/gllvm
Whole Program LLVM: wllvm ported to go
capablevms/lua
The Lua repo, as seen by the Lua team. Mirrored irregularly. Please DO NOT send pull requests. Send issues/patches to the Lua mailing list https://www.lua.org/lua-l.html
capablevms/lua-func
capablevms/mq-test
capablevms/v8
The CapableVMs mirror of the V8 GitHub repository
capablevms/VIXL