Skip to content

@capablevms CapableVMs

Change the repository type filter

All

    Repositories list

    27 repositories

    • v8_bootstrap

      Public
      A repo containing instructions, scripts, and CMake files to bootstrap building V8 for Morello on CheriBSD
      CMake
      •
      Other
      •0•1•0•0•Updated Dec 17, 2024Dec 17, 2024

    • CHERI-ELF-comp

      Public
      C
      •
      Other
      •1•4•2•0•Updated Dec 16, 2024Dec 16, 2024

    • cheri-examples

      Public
      CHERI sample C programs
      C
      •
      Other
      •13•10•4•1•Updated May 8, 2024May 8, 2024

    • chromium

      Public
      The CapableVMs mirror of Chromium's GitHub-tracked source
      BSD 3-Clause "New" or "Revised" License
      •7.2k•0•0•0•Updated Mar 21, 2024Mar 21, 2024

    • DSbD-2024-03-Poster

      Public
      1•0•0•0•Updated Mar 11, 2024Mar 11, 2024

    • capablevms.github.io

      Public
      Capable VMs Website
      BSD 2-Clause "Simplified" License
      •0•1•0•0•Updated Feb 13, 2024Feb 13, 2024

    • v8

      Public
      The CapableVMs mirror of the V8 GitHub repository
      C++
      •
      Other
      •4k•0•0•0•Updated Feb 6, 2024Feb 6, 2024

    • webkit

      Public
      4•1•4•0•Updated Jan 15, 2024Jan 15, 2024

    • mq-test

      Public
      Shell
      •1•0•0•1•Updated Nov 29, 2023Nov 29, 2023

    • compartment-mapper

      Public
      Follow capability graphs to map compartments.
      C++
      •
      Other
      •1•0•0•0•Updated Oct 27, 2023Oct 27, 2023

    • cheribsd-ports

      Public
      FreeBSD ports tree adapted for CheriBSD.
      Other
      •761•0•0•0•Updated Aug 9, 2023Aug 9, 2023

    • cheri_misidioms

      Public
      C
      •2•3•0•0•Updated Jun 16, 2023Jun 16, 2023

    • bdwgc

      Public
      The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehm-gc)
      C
      •
      Other
      •407•1•0•0•Updated Jun 13, 2023Jun 13, 2023

    • cheribuild

      Public
      Easily build and run CHERI related projects
      Python
      •
      Other
      •47•0•0•0•Updated Jun 3, 2023Jun 3, 2023

    • llvm-function-split

      Public
      Lua
      •4•1•0•0•Updated Jan 25, 2023Jan 25, 2023

    • cheri-compartments-playground

      Public
      C
      •
      Other
      •1•1•0•0•Updated Dec 9, 2022Dec 9, 2022

    • docs

      Public
      Documentation
      TeX
      •
      BSD 2-Clause "Simplified" License
      •3•4•0•0•Updated Nov 4, 2022Nov 4, 2022

    • gllvm

      Public
      Whole Program LLVM: wllvm ported to go
      Go
      •
      BSD 3-Clause "New" or "Revised" License
      •34•0•0•0•Updated Aug 12, 2022Aug 12, 2022

    • cheri_compartments

      Public
      TeX
      •0•1•0•0•Updated Mar 10, 2022Mar 10, 2022

    • cheri-morello-compartmentalisation

      Public
      Assembly
      •
      Other
      •1•0•0•0•Updated Mar 1, 2022Mar 1, 2022

    • VIXL

      Public
      C
      •
      Other
      •0•0•0•0•Updated Jul 8, 2021Jul 8, 2021

    • lua-func

      Public
      C
      •1•0•0•0•Updated Mar 29, 2021Mar 29, 2021

    • function-community-finding

      Public
      I like misleading names
      Python
      •1•0•0•0•Updated Jan 12, 2021Jan 12, 2021

    • cheribsd

      Public
      FreeBSD adapted for the CHERI CPU.
      C
      •
      Other
      •61•0•0•0•Updated Dec 3, 2020Dec 3, 2020

    • lua

      Public
      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
      C
      •1.7k•0•0•0•Updated Dec 1, 2020Dec 1, 2020

    • cheri-example-gc

      Public
      C++
      •1•0•0•0•Updated Nov 4, 2020Nov 4, 2020

    • cheri-instruction-rcg-gen

      Public
      Generate Runtime Code Generation library from llvm-tblgen json instruction spec
      C
      •2•0•1•0•Updated Sep 11, 2020Sep 11, 2020