Skip to content

@CHERI-Alliance CHERI Alliance

Change the repository type filter

All

    Repositories list

    32 repositories

    • qemu

      Public
      qemu with CHERI support
      C
      •
      Other
      •8•9•0•3•Updated Aug 21, 2026Aug 21, 2026

    • CHERI-zephyr

      Public
      CHERI Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
      C
      •
      Apache License 2.0
      •9.8k•6•0•1•Updated Aug 21, 2026Aug 21, 2026

    • cheri-linux-website

      Public
      SCSS
      •1•1•0•0•Updated Aug 20, 2026Aug 20, 2026

    • freebsd-src

      Public
      Staging repository for FreeBSD/CHERI upstreaming work
      freebsdchericheribsd
      freebsdchericheribsd
      C
      •
      Other
      •3.4k•0•0•1•Updated Aug 20, 2026Aug 20, 2026

    • llvm-project

      Public
      LLVM compiler with CHERI support
      8•4•8•3•Updated Aug 10, 2026Aug 10, 2026

    • libxo

      Public
      The libxo library allows an application to generate text, XML, JSON, and HTML output using a common set of function calls. The application decides at run time w…
      C
      •
      BSD 2-Clause "Simplified" License
      •55•0•0•0•Updated Aug 7, 2026Aug 7, 2026

    • gdb

      Public
      GNU Debugger with CHERI support
      2•2•1•0•Updated Jul 29, 2026Jul 29, 2026

    • CHERI-seL4-Exercises

      Public
      Exercises and documentation for using CHERI on seL4
      C
      •
      Other
      •1•2•0•1•Updated Jul 25, 2026Jul 25, 2026

    • linux

      Public
      CHERI Linux
      64k•1•4•4•Updated Jul 19, 2026Jul 19, 2026

    • musl-tests

      Public
      musl library test suite
      C
      •
      MIT License
      •0•0•0•0•Updated Jul 14, 2026Jul 14, 2026

    • CHERI-Microkit

      Public
      Rust
      •
      Other
      •2•2•0•0•Updated Jul 13, 2026Jul 13, 2026

    • cheri-compressed-cap

      Public
      CHERI capability encoding software library
      C++
      •
      Other
      •0•2•0•0•Updated Jul 9, 2026Jul 9, 2026

    • sail-riscv

      Public
      Sail RISC-V model
      Sail
      •
      Other
      •288•3•4•0•Updated Jul 8, 2026Jul 8, 2026

    • openocd

      Public
      C
      •
      Other
      •1k•0•0•0•Updated Jul 2, 2026Jul 2, 2026

    • musl

      Public
      musl - an implementation of the standard library for Linux-based systems - ( Downstream )
      C
      •
      Other
      •59•1•1•0•Updated Jun 26, 2026Jun 26, 2026

    • u-boot

      Public
      U-Boot with CHERI support
      4•2•0•0•Updated Jun 18, 2026Jun 18, 2026

    • ltp

      Public
      Linux Test Project (mailing list: https://lists.linux.it/listinfo/ltp)
      C
      •
      GNU General Public License v2.0
      •1.1k•0•0•0•Updated Jun 9, 2026Jun 9, 2026

    • meta-cheri

      Public
      BitBake
      •5•1•1•13•Updated Jun 1, 2026Jun 1, 2026

    • opensbi

      Public
      OpenSBI with CHERI-RISC-V support
      7•3•0•0•Updated May 12, 2026May 12, 2026

    • CHERI-seL4

      Public
      C
      •
      Other
      •3•4•0•1•Updated Mar 18, 2026Mar 18, 2026

    • busybox

      Public
      Provide a CHERI-enabled busybox port to support minimal Linux userspace builds.
      C
      •
      Other
      •4•0•0•0•Updated Feb 25, 2026Feb 25, 2026

    • yocto-manifest

      Public
      Provide a Yocto manifest file to allow a build of a CHERI-enabled Linux purecap userspace.
      0•0•0•0•Updated Feb 6, 2026Feb 6, 2026

    • linux-previous

      Public
      CHERI Linux kernel
      0•3•0•0•Updated Oct 27, 2025Oct 27, 2025

    • linux-roadmap

      Public
      Linux strategy working group roadmap
      HTML
      •0•0•0•0•Updated Oct 7, 2025Oct 7, 2025

    • libffi

      Public
      A portable foreign-function interface library.
      C
      •
      Other
      •824•0•0•0•Updated Aug 22, 2025Aug 22, 2025

    • perl5

      Public
      🐪 The Perl programming language
      Perl
      •
      Other
      •641•0•0•0•Updated Aug 22, 2025Aug 22, 2025

    • certification-test-suite

      Public
      Test suite to fascilitate the certification process.
      C
      •0•0•0•0•Updated Aug 20, 2025Aug 20, 2025

    • .github

      Public
      CHERI Alliance collaboration area on GitHub
      0•2•0•0•Updated May 5, 2025May 5, 2025

    • RepoMgmtWG

      Public
      Rules for repository creation and management.
      0•4•0•0•Updated May 1, 2025May 1, 2025

    • sail-riscv-archive

      Public archive
      sail-riscv with CHERI support
      C
      •
      Other
      •2•3•2•1•Updated Apr 17, 2025Apr 17, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.