Open-source textbook about CHERI capabilities, for a developer audience
☆18May 29, 2025Updated 9 months ago
Alternatives and similar repositories for capabilitiesforcoders
Users that are interested in capabilitiesforcoders are comparing it to the libraries listed below
Sorting:
- Multiparty Session Types toolKit☆15May 7, 2025Updated 9 months ago
- Template repository for a CG proposal or work item.☆17Aug 30, 2024Updated last year
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 6 months ago
- A log of the state of fil+ allocators☆12Updated this week
- An autonomous service implementing a decentralized Impact Evaluator☆13Dec 1, 2025Updated 3 months ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated last week
- Multiplatform encrypted note-taking app with block-style editor☆16Sep 3, 2025Updated 5 months ago
- Dissertation template with referencing style included.☆10Aug 16, 2015Updated 10 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
- A Rust-based, bare-metal kernel implementing zero-trust execution, cryptographic self-measurement and capability-enforced isolation for N…☆38Updated this week
- Bazam.org is Shazam for books! Find any book by context, keyword, or id☆10Jan 28, 2021Updated 5 years ago
- Attribute-based Encryption Schemes☆10Nov 16, 2021Updated 4 years ago
- Community edition of Nightfall_4☆16Feb 22, 2026Updated last week
- 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
- L2 bridging for ENS with onchain guarantees.☆11Feb 19, 2024Updated 2 years ago
- ☆11Mar 19, 2024Updated last year
- Sources of the tusistor TUI app and the rusistor lib.☆14Dec 29, 2025Updated 2 months ago
- CHERI sample C programs☆12Jan 16, 2025Updated last year
- Celestia Data Availability Provider for the Arbitrum Nitro stack☆12Feb 19, 2026Updated last week
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- ☆11Oct 26, 2020Updated 5 years ago
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- Semaphore v4 implemented in Rust☆10Oct 7, 2025Updated 4 months ago
- A quick fix model for the Charm BubbleTea ecosystem.☆15Nov 27, 2025Updated 3 months ago
- 📝 A generic list implementation in Go for easy functional programming☆11Aug 8, 2024Updated last year
- Rust utilities for the ethereum attestation service.☆14Apr 6, 2024Updated last year
- P2P Crypto based on cooperative consensus☆13Feb 18, 2023Updated 3 years ago
- zkSNARK full flow example in Go☆12Jun 3, 2020Updated 5 years ago
- A CLI file browser and media interface for Raspberry Pi and Omxplayer.☆12Mar 12, 2019Updated 6 years ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- Revolutionizing Anonymity with Zero-Knowledge Technology☆10May 31, 2023Updated 2 years ago
- Hybrid typenum/const generic arrays☆20Feb 12, 2026Updated 2 weeks ago
- ☆12Oct 4, 2023Updated 2 years ago
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Oct 29, 2024Updated last year
- Circuit for generating ethereum account RLP☆10Apr 6, 2025Updated 10 months ago
- Course material for Law, Order, and Algorithms☆10Feb 8, 2020Updated 6 years ago
- Noir support for Zed☆11May 3, 2024Updated last year
- ☆12Nov 29, 2023Updated 2 years ago