Skip to content

@CTSRD-CHERI Capability Hardware Enhanced RISC Instructions

Change the repository type filter

All

    Repositories list

    323 repositories

    • de10pro-playground-user-scripts

      Public
      User scripts for the de10pro playground framework
      Python
      •1•1•0•0•Updated Mar 10, 2026Mar 10, 2026

    • cheribsd

      Public
      FreeBSD adapted for CHERI-RISC-V and Arm Morello.
      freebsdriscvcheri
      freebsdriscvchericheribsdmorello
      C
      •
      Other
      •78•207•151•55•Updated Mar 10, 2026Mar 10, 2026

    • Toooba

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

    • cheribuild

      Public
      Easily build and run CHERI related projects
      Python
      •
      Other
      •59•90•32•17•Updated Mar 10, 2026Mar 10, 2026

    • zfs

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

    • v8

      Public
      The official mirror of the V8 Git repository
      C++
      •
      Other
      •4.2k•1•0•1•Updated Mar 6, 2026Mar 6, 2026

    • llvm-project

      Public
      Fork of LLVM adding CHERI support
      C++
      •
      Other
      •62•68•123•28•Updated Mar 5, 2026Mar 5, 2026

    • cheribsd-ports

      Public
      FreeBSD ports tree adapted for CheriBSD.
      Makefile
      •
      Other
      •832•7•40•4•Updated Mar 5, 2026Mar 5, 2026

    • cheri-c-examples

      Public
      Collection of CHERI C code examples, to be used in tests, documentation, etc.
      Shell
      •0•1•0•0•Updated Mar 4, 2026Mar 4, 2026

    • cheri-demos

      Public
      HTML
      •2•3•0•0•Updated Mar 2, 2026Mar 2, 2026

    • freebsd-morello

      Public
      FreeBSD src tree (read-only mirror)
      C
      •
      Other
      •3.2k•2•0•0•Updated Feb 27, 2026Feb 27, 2026

    • intel-em-kmod

      Public
      Intel Network Adapter Gigabit Base Driver for FreeBSD
      C
      •0•0•0•0•Updated Feb 27, 2026Feb 27, 2026

    • cheri-compressed-cap

      Public
      A C library to compress/decompress CHERI capabilities
      C++
      •
      Other
      •7•9•2•1•Updated Feb 27, 2026Feb 27, 2026

    • jenkins-scripts

      Public
      Groovy
      •
      Other
      •2•5•0•0•Updated Feb 27, 2026Feb 27, 2026

    • gdb

      Public
      The GNU debugger extended to support CHERI
      C
      •
      GNU General Public License v2.0
      •4•5•8•3•Updated Feb 26, 2026Feb 26, 2026

    • FreeRTOS-Kernel

      Public
      FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
      C
      •
      MIT License
      •1.5k•0•0•2•Updated Feb 26, 2026Feb 26, 2026

    • toooba-sim-benchmarks

      Public
      The built binaries for benchmarks adapted for Toooba simulation. (<10 minutes in simulation)
      Makefile
      •1•0•0•1•Updated Feb 23, 2026Feb 23, 2026

    • Toooba-mibench2

      Public
      Fork of MiBench2 for Toooba CHERI-RISC-V processor evaluation in simulation.
      C
      •
      Apache License 2.0
      •1•0•0•0•Updated Feb 23, 2026Feb 23, 2026

    • poudriere

      Public
      Poudriere adapted for CheriBSD.
      Shell
      •
      BSD 2-Clause "Simplified" License
      •172•0•1•1•Updated Feb 20, 2026Feb 20, 2026

    • poudriere-infrastructure

      Public
      Poudriere infrastructure for CheriBSD packages.
      Shell
      •2•3•8•0•Updated Feb 18, 2026Feb 18, 2026

    • cheri-docker-images

      Public
      Dockerfile
      •6•2•0•0•Updated Feb 17, 2026Feb 17, 2026

    • libcxx

      Public
      READ-ONLY mirror of the libcxx subdirectory from https://github.com/CTSRD-CHERI/llvm-project
      C++
      •
      Other
      •1•1•0•0•Updated Feb 17, 2026Feb 17, 2026

    • qemu

      Public
      QEMU with support for CHERI
      C
      •
      Other
      •39•65•31•20•Updated Feb 16, 2026Feb 16, 2026

    • cheribsd-getting-started

      Public
      Getting Started with CheriBSD
      HTML
      •
      Other
      •5•15•8•6•Updated Feb 11, 2026Feb 11, 2026

    • newlib

      Public
      Newlib adapted to run on baremetal MIPS QEMU
      C
      •
      GNU General Public License v2.0
      •5•4•0•0•Updated Feb 9, 2026Feb 9, 2026

    • cheri-c-programming

      Public
      CHERI C/C++ Programming Guide
      Lua
      •
      Other
      •6•60•30•3•Updated Feb 7, 2026Feb 7, 2026

    • de10pro-playground-uboot

      Public
      uboot build and scripts for the de10-playground framework
      Shell
      •0•0•0•0•Updated Feb 3, 2026Feb 3, 2026

    • cheri-cap-lib

      Public
      A library of specific implementations of cheri and providing an abstract interface to those implementations
      Bluespec
      •
      Other
      •11•7•0•0•Updated Jan 31, 2026Jan 31, 2026

    • DE10Pro-cheri-bgas

      Public
      CHERI-BGAS DE10Pro quartus project
      Bluespec
      •4•3•1•1•Updated Jan 29, 2026Jan 29, 2026

    • cheri-tutorial-hipeac26

      Public
      C
      •0•0•0•0•Updated Jan 23, 2026Jan 23, 2026