Skip to content
@capablevms

CapableVMs

We are investigating how programming language virtual machines (VMs) can utilise hardware capabilities.

Popular repositories Loading

  1. cheri-examples cheri-examples Public

    CHERI sample C programs

    C 10 13

  2. docs docs Public

    Documentation

    TeX 4 3

  3. CHERI-ELF-comp CHERI-ELF-comp Public

    C 4 1

  4. cheri_misidioms cheri_misidioms Public

    C 3 2

  5. capablevms.github.io capablevms.github.io Public

    Capable VMs Website

    1

  6. llvm-function-split llvm-function-split Public

    Lua 1 4

Repositories

Showing 10 of 27 repositories
  • v8_bootstrap Public

    A repo containing instructions, scripts, and CMake files to bootstrap building V8 for Morello on CheriBSD

    capablevms/v8_bootstrap’s past year of commit activity
    CMake 1 0 0 0 Updated Dec 17, 2024
  • CHERI-ELF-comp Public
    capablevms/CHERI-ELF-comp’s past year of commit activity
    C 4 1 2 0 Updated Dec 16, 2024
  • cheri-examples Public

    CHERI sample C programs

    capablevms/cheri-examples’s past year of commit activity
    C 10 13 4 1 Updated May 8, 2024
  • chromium Public Forked from chromium/chromium

    The CapableVMs mirror of Chromium's GitHub-tracked source

    capablevms/chromium’s past year of commit activity
    0 BSD-3-Clause 7,324 0 0 Updated Mar 21, 2024
  • DSbD-2024-03-Poster Public
    capablevms/DSbD-2024-03-Poster’s past year of commit activity
    0 1 0 0 Updated Mar 11, 2024
  • capablevms.github.io Public

    Capable VMs Website

    capablevms/capablevms.github.io’s past year of commit activity
    1 BSD-2-Clause 0 0 0 Updated Feb 13, 2024
  • v8 Public Forked from v8/v8

    The CapableVMs mirror of the V8 GitHub repository

    capablevms/v8’s past year of commit activity
    C++ 0 4,178 0 0 Updated Feb 6, 2024
  • webkit Public Forked from CTSRD-CHERI/webkit
    capablevms/webkit’s past year of commit activity
    1 4 4 0 Updated Jan 15, 2024
  • mq-test Public
    capablevms/mq-test’s past year of commit activity
    Shell 0 1 0 1 Updated Nov 29, 2023
  • compartment-mapper Public

    Follow capability graphs to map compartments.

    capablevms/compartment-mapper’s past year of commit activity
    C++ 0 1 0 0 Updated Oct 27, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…