Repo Manifests for the Yocto Project Build System for reproducible TEE builds
☆10Nov 26, 2025Updated 3 months ago
Alternatives and similar repositories for yocto-manifests
Users that are interested in yocto-manifests are comparing it to the libraries listed below
Sorting:
- ☆16Nov 20, 2025Updated 3 months ago
- The modular protocol framework based on Universal Composability☆17Jun 24, 2020Updated 5 years ago
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆20Aug 12, 2019Updated 6 years ago
- Main repository for the Logchain as a Service platform☆11Dec 8, 2022Updated 3 years ago
- Read-only mirror of https://git.vdb.to/cerc-io/stack-orchestrator☆35Feb 10, 2026Updated 3 weeks ago
- ☆12Jun 30, 2025Updated 8 months ago
- ☆16May 26, 2024Updated last year
- ERC721Sequential☆15Jul 19, 2023Updated 2 years ago
- ☆15Jan 6, 2025Updated last year
- Educational resources on the RGB protocol☆10Dec 30, 2022Updated 3 years ago
- Solidity grammar for tree sitter☆12Mar 12, 2022Updated 3 years ago
- Multi-party computation utilities toolkit for rust☆16Dec 19, 2019Updated 6 years ago
- ☆10Oct 14, 2023Updated 2 years ago
- It's a magnet links search engine build with python.☆14Jul 22, 2014Updated 11 years ago
- This a repo supporting an artcile on https://etherworld.co☆11Feb 16, 2019Updated 7 years ago
- Step by step implementation of FRI☆13Feb 9, 2025Updated last year
- Rust FFI bindings for StarkWare's crypto-cpp library☆15Apr 27, 2022Updated 3 years ago
- ☆11Aug 24, 2016Updated 9 years ago
- Redis cluster library for Rust☆14Jan 28, 2024Updated 2 years ago
- Execute commands on deployed contracts using a helpful TUI. Inspired by `hardhat inteteract` command on https://github.com/Synthetixio/sy…☆10Jan 7, 2024Updated 2 years ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- Reproducible hardened Linux images for confidential computing and safe MEV☆16Updated this week
- A scalable anonymous blocklisting scheme☆12Oct 6, 2023Updated 2 years ago
- Basic Notes keeping repository for my learnings in Rust☆14Jun 25, 2025Updated 8 months ago
- Hardhat made easy with a flexible CLI to help run test, deploy and more.☆10Apr 10, 2024Updated last year
- ☆13Feb 11, 2024Updated 2 years ago
- Simple Noise handshake state machine☆15Sep 24, 2020Updated 5 years ago
- Library for parsing Lightning Network BOLT11 payment requests and encoding invoices into requests☆13Feb 21, 2026Updated last week
- This project is a example of a flashloan using the dydx protocol based on the money-legos implementation.☆10Jul 9, 2021Updated 4 years ago
- ☆14Mar 27, 2024Updated last year
- Some tutorials for learning Google Go language☆15Oct 24, 2022Updated 3 years ago
- A wait-free, pseudo-static approach toward concurrency in blockchain runtimes 🚀.☆11Jul 23, 2022Updated 3 years ago
- Seismic REVM implements the Mercury Specification of the EVM: a shielded virtual machine that powers Seismic's blockchain☆12Updated this week
- A pallet/runtime module for Substrate with multisig functionality with a static `AccountId` and a dynamic `threshold` and set of `signato…☆10Dec 3, 2020Updated 5 years ago
- ☆12Jun 15, 2020Updated 5 years ago
- A minimal proof‑of‑concept that shows how Solana apps can react at runtime when their transaction is routed to a malicious validator.☆19Jul 25, 2025Updated 7 months ago
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- Good Riddance to EPID Pre-Deprecation Memorial Contest☆12Dec 22, 2023Updated 2 years ago
- Node.js bindings for Gnu Privacy Guard☆23Oct 4, 2012Updated 13 years ago