Skip to content

@CTSRD-CHERI Capability Hardware Enhanced RISC Instructions

Change the repository type filter

All

    Repositories list

    349 repositories

    • cheribsd

      Public
      FreeBSD adapted for CHERI-RISC-V and Arm Morello.
      freebsdriscvcheri
      freebsdriscvchericheribsdmorello
      C
      •
      Other
      •81•217•162•57•Updated Aug 22, 2026Aug 22, 2026

    • zfs

      Public
      OpenZFS ported to CheriBSD (NOTE: cheri-* branches will be rebased)
      C
      •
      Other
      •2k•0•0•0•Updated Aug 22, 2026Aug 22, 2026

    • cheribuild

      Public
      Easily build and run CHERI related projects
      Python
      •
      Other
      •59•94•31•21•Updated Aug 21, 2026Aug 21, 2026

    • TestRIG

      Public
      Testing processors with Random Instruction Generation
      Python
      •
      Other
      •20•62•11•4•Updated Aug 21, 2026Aug 21, 2026

    • Toooba

      Public
      RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT
      Bluespec
      •
      Other
      •53•34•7•6•Updated Aug 21, 2026Aug 21, 2026

    • QuickCheckVEngine

      Public
      A RISC-V TestRIG Verification Engine based on QuickCheck
      Haskell
      •
      BSD 2-Clause "Simplified" License
      •11•11•7•0•Updated Aug 20, 2026Aug 20, 2026

    • v8

      Public
      The official mirror of the V8 Git repository
      C++
      •
      Other
      •4.3k•1•0•2•Updated Aug 19, 2026Aug 19, 2026

    • sail-cheri-riscv

      Public
      CHERI-RISC-V model written in Sail
      Isabelle
      •
      Other
      •25•68•5•9•Updated Aug 13, 2026Aug 13, 2026

    • sail-riscv

      Public
      Sail RISC-V model
      Coq
      •
      Other
      •288•0•0•1•Updated Aug 13, 2026Aug 13, 2026

    • cheribsd-ports

      Public
      FreeBSD ports tree adapted for CheriBSD.
      Makefile
      •
      Other
      •866•7•40•4•Updated Aug 8, 2026Aug 8, 2026

    • cheri-os-test

      Public
      C
      •
      Other
      •1•0•1•1•Updated Aug 6, 2026Aug 6, 2026

    • chromium

      Public
      The official GitHub mirror of the Chromium source
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •9.2k•0•0•0•Updated Aug 6, 2026Aug 6, 2026

    • abseil-cpp

      Public
      Abseil Common Libraries (C++)
      C++
      •
      Apache License 2.0
      •3.2k•0•0•0•Updated Aug 6, 2026Aug 6, 2026

    • morello-llvm-project

      Public
      Mirror of https://git.morello-project.org/morello/llvm-project
      C++
      •
      Other
      •0•1•0•0•Updated Aug 6, 2026Aug 6, 2026

    • seL4

      Public
      The seL4 microkernel
      C
      •
      Other
      •800•4•0•0•Updated Aug 4, 2026Aug 4, 2026

    • llvm-project

      Public
      Fork of LLVM adding CHERI support
      C++
      •
      Other
      •69•74•129•31•Updated Aug 1, 2026Aug 1, 2026

    • skia

      Public
      Skia is a complete 2D graphic library for drawing Text, Geometries, and Images. See documentation for contribution instructions.
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •1.8k•0•0•0•Updated Jul 31, 2026Jul 31, 2026

    • pdfium

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Jul 31, 2026Jul 31, 2026

    • redis

      Public
      Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted…
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •25k•0•0•0•Updated Jul 30, 2026Jul 30, 2026

    • iocap-sandbox

      Public
      C
      •0•1•0•0•Updated Jul 30, 2026Jul 30, 2026

    • cheri-docker-images

      Public
      Dockerfile
      •6•2•0•0•Updated Jul 29, 2026Jul 29, 2026

    • cheribsd-website

      Public
      HTML
      •2•1•0•1•Updated Jul 24, 2026Jul 24, 2026

    • cheribsd-getting-started

      Public
      Getting Started with CheriBSD
      HTML
      •
      Other
      •5•15•7•2•Updated Jul 24, 2026Jul 24, 2026

    • quiche

      Public
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •178•0•0•0•Updated Jul 24, 2026Jul 24, 2026

    • gemmlowp

      Public
      Low-precision matrix multiplication
      C++
      •
      Apache License 2.0
      •461•0•0•0•Updated Jul 23, 2026Jul 23, 2026

    • qemu

      Public
      QEMU with support for CHERI
      C
      •
      Other
      •41•67•31•20•Updated Jul 23, 2026Jul 23, 2026

    • nginx

      Public
      nginx webserver adapted to CHERI
      C
      •8.3k•3•0•1•Updated Jul 22, 2026Jul 22, 2026

    • ink

      Public
      Google Ink
      C++
      •
      Apache License 2.0
      •21•0•0•0•Updated Jul 22, 2026Jul 22, 2026

    • BlueAXI4

      Public
      Bluespec
      •2•5•0•0•Updated Jul 14, 2026Jul 14, 2026

    • poudriere

      Public
      Poudriere adapted for CheriBSD.
      Shell
      •
      BSD 2-Clause "Simplified" License
      •180•0•1•1•Updated Jul 14, 2026Jul 14, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.