Fork of Rust adding CHERI support
☆13Apr 10, 2025Updated 10 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
- RegisterMachine Go☆22Feb 22, 2018Updated 8 years ago
- Ambient Authority☆21Jun 30, 2023Updated 2 years ago
- Poseidon hash implementation in Rust☆27Jan 22, 2026Updated last month
- Life is short, but data should live forever☆31Aug 13, 2025Updated 6 months ago
- Template repository for a CG proposal or work item.☆17Aug 30, 2024Updated last year
- A Language Server Protocol Implementation for Circom☆33Jun 3, 2023Updated 2 years ago
- Byte-wise atomic memcpy.☆43Updated this week
- ☆33Sep 9, 2023Updated 2 years ago
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 6 months ago
- Specification to describe the minimum information standard for online community data. Guidelines for describing data about online communi…☆11Sep 19, 2016Updated 9 years ago
- EFI variables / boot manager tool written in Rust☆48Aug 22, 2025Updated 6 months ago
- Multiplatform encrypted note-taking app with block-style editor☆16Sep 3, 2025Updated 5 months ago
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆15May 12, 2022Updated 3 years ago
- ⚡ An interactive alternative to swift package init☆13Jul 24, 2023Updated 2 years ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated last week
- Community edition of Nightfall_4☆16Updated this week
- Integrated model to calculate the effects of resilient foods in catastrophic events☆11May 20, 2025Updated 9 months ago
- A Rust-based, bare-metal kernel implementing zero-trust execution, cryptographic self-measurement and capability-enforced isolation for N…☆38Updated this week
- Attribute-based Encryption Schemes☆10Nov 16, 2021Updated 4 years ago
- Website for The State of FOSS in India report.☆10Aug 20, 2021Updated 4 years ago
- Syllabus for "Anthropology of Silicon Valley(s)" course☆16Apr 24, 2017Updated 8 years ago
- This repository contains numerous small utility packages. These packages serve various useful purposes and are written in nano ESModule w…☆10Feb 18, 2026Updated last week
- Open Source License Compliance Checklists☆11Oct 18, 2024Updated last year
- Implementation of the Idemix attribute based credential scheme used in IRMA☆11Dec 11, 2024Updated last year
- Exports Apple Notes into Markdown using Rust and AppleScript☆14Mar 18, 2025Updated 11 months ago
- Federal Cloud Computing Strategy Website☆15Oct 6, 2022Updated 3 years ago
- Semaphore v4 implemented in Rust☆10Oct 7, 2025Updated 4 months ago
- Cycle-accurate Game Boy emulation☆11Feb 12, 2026Updated 2 weeks ago
- Hybrid Federate Learning Framework for Financial Crime Detection☆13Mar 22, 2024Updated last year
- A set of tools and libraries for automatically generating and initiating sandboxes for Rust programs☆15Oct 24, 2022Updated 3 years ago
- A Live mixing application for the Caustic Rack Android music/sequencer application☆11Oct 25, 2013Updated 12 years ago
- Hierarchical Deterministic Keys for the European Digital Identity Wallet☆11Feb 23, 2026Updated last week
- A quick fix model for the Charm BubbleTea ecosystem.☆15Nov 27, 2025Updated 3 months ago
- Celestia Data Availability Provider for the Arbitrum Nitro stack☆12Updated this week
- UNMAINTAINED: Copies your Facebook, Twitter, and Google+ posts to a blog, with all formatting and details intact.☆17Jul 26, 2016Updated 9 years ago
- The fhEVM Decryptions Database is a key-value database of decryption results.☆15Aug 24, 2023Updated 2 years ago
- Welcome to the Partially Decryptable Ciphertext Policy Attribute-Based Encryption (CP-ABE) Scheme! This repo implements a CP-ABE scheme t…☆11Jul 17, 2025Updated 7 months ago
- An erc-20 token with EIP750 style zk private transactions and a new nullifier scheme to allow partial spends☆11Apr 11, 2025Updated 10 months ago