Fork of Rust adding CHERI support
☆13Apr 10, 2025Updated 11 months ago
Alternatives and similar repositories for rust-cheri
Users that are interested in rust-cheri are comparing it to the libraries listed below
Sorting:
- Compile circom code to llvm partially☆12Feb 14, 2023Updated 3 years ago
- Generate Linux Perf event tables for Apple Silicon☆17Dec 16, 2025Updated 3 months ago
- RegisterMachine Go☆22Feb 22, 2018Updated 8 years ago
- Linux HID Gadget Emulation in Rust☆16May 11, 2024Updated last year
- Binary wrapper that disables vDSO for a wrapped application.☆16Feb 17, 2026Updated last month
- Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collap…☆31Mar 3, 2026Updated 2 weeks ago
- Developer Setup for Dockerised Minecraft Java Edition for Creating Python Helpers☆12Mar 8, 2026Updated 2 weeks ago
- Ambient Authority☆21Jun 30, 2023Updated 2 years ago
- EFI variables / boot manager tool written in Rust☆49Mar 1, 2026Updated 3 weeks ago
- Tools to encode / decode /test 8b 10b encoding "The IBM way"☆11May 5, 2022Updated 3 years ago
- The RTOS components for the CHERIoT research platform☆157Updated this week
- Forward SMS messages received from CDMA modules to Telegram☆13Apr 2, 2019Updated 6 years ago
- Poseidon hash implementation in Rust☆27Jan 22, 2026Updated 2 months ago
- Byte-wise atomic memcpy.☆45Mar 12, 2026Updated last week
- Fork of apple/swift with modifications to the stdlib to use in a bare metal kernel for use with swift-project1. See KERNEL_LIB.md for det…☆15Dec 6, 2025Updated 3 months ago
- Rust traits for nonzero generic integers☆17May 24, 2022Updated 3 years ago
- A useful tool for pulling live stream☆15Mar 4, 2020Updated 6 years ago
- A declarative command-line parser for OCaml☆46Jan 5, 2026Updated 2 months ago
- A Swift library for writing & manipulating patterns for matching on collections.☆11Nov 30, 2021Updated 4 years ago
- 🌱 A tool for measuring the power consumption and carbon footprint of your software.☆39Mar 1, 2026Updated 2 weeks ago
- A framework and model generator for Neural Network inferences on MSP430☆11May 25, 2022Updated 3 years ago
- A simple Python library to bind dataclasses with databases.☆19Dec 24, 2023Updated 2 years ago
- Build OCaml projects with Nix.☆59Dec 17, 2025Updated 3 months ago
- A set of tools and libraries for automatically generating and initiating sandboxes for Rust programs☆15Oct 24, 2022Updated 3 years ago
- A Language Server Protocol Implementation for Circom☆33Jun 3, 2023Updated 2 years ago
- A secure utmp/wtmp implementation☆19Jan 21, 2026Updated 2 months ago
- Experimental "docker build" alternative using btrfs/zfs snapshots☆62Jan 12, 2026Updated 2 months ago
- Expose a disk block device as a regular file (FUSE)☆22May 28, 2015Updated 10 years ago
- ☆13May 17, 2024Updated last year
- An exhaustive list of Emoji's represented as Swift string constants.☆11Jan 20, 2016Updated 10 years ago
- ⚡ An interactive alternative to swift package init☆13Jul 24, 2023Updated 2 years ago
- ☆24Sep 20, 2019Updated 6 years ago
- Life is short, but data should live forever☆31Aug 13, 2025Updated 7 months ago
- Website for The State of FOSS in India report.☆10Aug 20, 2021Updated 4 years ago
- Kernel Extension allows to pin thread on a certain cpu core on Apple Silicon machines☆20Nov 19, 2024Updated last year
- ☆33Sep 9, 2023Updated 2 years ago
- Tiny BASIC interpreter written in Swift☆12Apr 11, 2015Updated 10 years ago
- The best way for developers to write software in OCaml☆61Aug 2, 2023Updated 2 years ago
- ☆10Mar 3, 2026Updated 2 weeks ago