CHERIoT-Platform/cheri-rust external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

CHERIoT-Platform/cheri-rust

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/CHERIoT-Platform/cheri-rust)

Close

CHERIoT-Platform / cheri-rustView on GitHubMore

• External links
• Readme badge

🍒 Rust - Experimental port of Rust to CHERI architectures

☆18Nov 10, 2026Updated this week

Alternatives and similar repositories for cheri-rust

Users that are interested in cheri-rust are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• borsattoz / ignore-python

  View on GitHub
  Python bindings for the Rust crate ignore
  ☆13Oct 22, 2026Updated 3 weeks ago
• TheInkedEngineer / Spritz

  View on GitHub
  An italian tax number (AKA Codice Fiscale) creator and validator.
  ☆14Mar 20, 2022Updated 4 years ago
• afiqzx / arduino_uno_r4_wifi_rust

  View on GitHub
  ☆10Sep 27, 2024Updated 2 years ago
• CAD97 / build-rs

  View on GitHub
  Convenience wrapper for cargo buildscript input/output
  ☆16Mar 4, 2026Updated 8 months ago
• Arm-Examples / FVPs-on-Mac

  View on GitHub
  This repository contains scripts that enable Arm Virtual Hardware FVPs to run in Docker on macOS.
  ☆10Updated this week
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• yo-yo-yo-jbo / python_uaf

  View on GitHub
  Use-after-free in Python
  ☆15Jul 19, 2026Updated 3 months ago
• microsoft / rustls-symcrypt

  View on GitHub
  symcrypt crypto provider for rustls
  ☆22Oct 27, 2026Updated 2 weeks ago
• willow385 / physics

  View on GitHub
  A simple physics simulation written entirely in C
  ☆21Dec 25, 2019Updated 6 years ago
• 5BSD / 5BSD

  View on GitHub
  The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....
  ☆12Updated this week
• ffex / rust-boy

  View on GitHub
  A Rust journey into Game Boy dev
  ☆21Oct 30, 2026Updated 2 weeks ago
• andyhhp / xtf

  View on GitHub
  Xen Test Framework
  ☆10Oct 30, 2025Updated last year
• nimble-code / Swarm

  View on GitHub
  Front-end for Spin to generate swarm verification scripts
  ☆13Mar 10, 2019Updated 7 years ago
• dhil / pthandlers

  View on GitHub
  an encoding of affine effect handlers using pthreads
  ☆14Nov 15, 2022Updated 3 years ago
• raffopazzo / depc

  View on GitHub
  Like C and C++ but with Dependent Types
  ☆11Jan 18, 2026Updated 9 months ago
• Deploy open-source AI quickly and easily - Special Bonus Offer • Ad
  Runpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
• rdmsr / zag

  View on GitHub
  ☆12Oct 26, 2026Updated 2 weeks ago
• cucl-srg / L50

  View on GitHub
  ACS L50 course repository
  ☆13Sep 10, 2026Updated 2 months ago
• alex-ab / NOVA

  View on GitHub
  NOVA Microhypervisor
  ☆11Updated this week
• luhsra / llfree-c

  View on GitHub
  LLFree: Lock- and Log-free Allocator
  ☆12Sep 17, 2026Updated last month
• unktomi / form-follows-function

  View on GitHub
  F3 Programming Language
  ☆10Aug 30, 2015Updated 11 years ago
• brunoldsilva / rsomeip

  View on GitHub
  A Rust implementation of AUTOSTAR's Scalable service-Oriented MiddlewarE over IP (SOME/IP).
  ☆15Sep 17, 2026Updated last month
• liuziwei7 / liuziwei7.github.io

  View on GitHub
  personal homepage of Ziwei Liu
  ☆14Updated this week
• lienching / pci-ids.rs

  View on GitHub
  Cross-platform Rust wrappers for the PCI ID Repository
  ☆12Oct 3, 2025Updated last year
• rukkal / apex-memmove

  View on GitHub
  Apex memmove of T. Herselman
  ☆14Sep 22, 2016Updated 10 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• SamAinsworth / MarkUs-sp2020

  View on GitHub
  Prototype allocator for the prevention of use-after-free attacks, as described in the S&P 2020 Paper - "MarkUs: Drop-in use-after-free pr…
  ☆15Jan 14, 2022Updated 4 years ago
• TUD-OS / NOVA

  View on GitHub
  NOVA Microhypervisor
  ☆12Jul 1, 2021Updated 5 years ago
• tomoyuki-nakabayashi / discovery

  View on GitHub
  Rustでマイクロコントローラの世界を楽しもう！
  ☆11Feb 7, 2023Updated 3 years ago
• xhcisucks / SpecSeek

  View on GitHub
  Find out everything there is to know about your hardware.
  ☆15Oct 17, 2026Updated 3 weeks ago
• pmetzger / zimh

  View on GitHub
  The ZIMH simulators package
  ☆11Updated this week
• fridgelock-lkm / fridgelock

  View on GitHub
  A proof-of-concept implementation of suspend time memory encryption.
  ☆11Feb 26, 2020Updated 6 years ago
• Amanieu / naked-function

  View on GitHub
  Proc macro implementation of #[naked]
  ☆33Jun 5, 2023Updated 3 years ago
• CTSRD-CHERI / cheri-specification

  View on GitHub
  CHERI ISA Specification
  ☆29Mar 13, 2026Updated 8 months ago
• adeci / drv-thru

  View on GitHub
  p2p nix builds! "can I get uhhhhh"
  ☆30Jun 25, 2026Updated 4 months ago
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• ra-rs / ra

  View on GitHub
  Rust PACs for the Renesas RA series devices
  ☆25Apr 20, 2025Updated last year
• b-irb / sauron

  View on GitHub
  Simple Intel VT-x type-2 hypervisor for 64-bit Linux.
  ☆20Aug 18, 2020Updated 6 years ago
• l4ka / afterburner

  View on GitHub
  L4Ka::Afterburner virtualization project
  ☆19Oct 13, 2011Updated 15 years ago
• mit-frap / fall25

  View on GitHub
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Fall 2025
  ☆12Dec 3, 2025Updated 11 months ago
• gezilinll / rust-learning

  View on GitHub
  ☆11May 21, 2022Updated 4 years ago
• wilbowma / multi-lang-comp

  View on GitHub
  a compiler from a lambda language to an assembly language, as a rewrite system
  ☆16Sep 23, 2025Updated last year
• charlieMonroe / libobjc-kern

  View on GitHub
  ☆14Sep 13, 2013Updated 13 years ago