☆22May 21, 2024Updated last year
Alternatives and similar repositories for dice-star
Users that are interested in dice-star are comparing it to the libraries listed below
Sorting:
- A guide on how to emulate an NVMe SPDM responder device with QEMU and Linux. Additionally, instructions on setting up and testing the (in…☆11Sep 3, 2024Updated last year
- Formal specification of attestation mechanisms in Confidential Computing☆24Nov 22, 2025Updated 3 months ago
- The Pulse separation logic DSL for F*☆35Updated this week
- ☆32Mar 2, 2026Updated last week
- Lean cryptographic library usable for bare-metal environments☆84Updated this week
- Post-quantum cryptography certificates☆78Updated this week
- ☆19Updated this week
- Biomark Fluidigm qPCR data set: processing and analysis☆11Apr 8, 2024Updated last year
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆50Updated this week
- ☆47Feb 24, 2026Updated last week
- Security Project☆104Feb 13, 2026Updated 3 weeks ago
- Medium Access Control layer of 802.15.4☆13Nov 14, 2014Updated 11 years ago
- Minecraft Redstone Compiler☆14Feb 9, 2025Updated last year
- Analyze experimental data with Programming by Navigation☆17Updated this week
- Automatically exported from code.google.com/p/xml2rfc-xxe☆11Jul 9, 2022Updated 3 years ago
- Open Cryptanalysis Platform☆13Feb 7, 2026Updated last month
- Abstract Syntax Definition Language (ASDL) ported to C++☆13Aug 9, 2020Updated 5 years ago
- 2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Edition☆10Jan 4, 2023Updated 3 years ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- Daemon adding support for PLDM (Platform Level Data Model). Supports PLDM Sensors, FRU and Firmware Updates☆12Nov 26, 2024Updated last year
- ☆16Jul 23, 2024Updated last year
- This repository contains a KiCad project for a Korad KA3005P display driver, included are the schematic, pcb layout and gerber files.☆10Oct 9, 2020Updated 5 years ago
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated last year
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 3 years ago
- work in progress, playing around with btor2 in rust☆12Feb 24, 2026Updated last week
- twitter bot☆13Jan 26, 2015Updated 11 years ago
- ☆14Apr 14, 2025Updated 10 months ago
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 4 months ago
- Common MPC Pitfalls☆12Feb 14, 2026Updated 3 weeks ago
- ONC public datasets derived from programs, projects, and research & analysis.☆13Updated this week
- ☆18Jun 6, 2025Updated 9 months ago
- Cross-platform Rust wrappers for the PCI ID Repository☆11Oct 3, 2025Updated 5 months ago
- This document introduces how to implement a secure boot chain in UEFI using the TianoCore EDK II project☆12Apr 30, 2025Updated 10 months ago
- ☆57Updated this week
- A benchmark showing that kfifo is really super fast☆11Oct 12, 2015Updated 10 years ago
- USB 1.1 PHY☆11Jul 17, 2014Updated 11 years ago
- Hello World examples in assembly, for use as templates.☆12Jan 18, 2026Updated last month
- Virtio in userspace☆12Nov 8, 2011Updated 14 years ago
- a more powerful heated bed for your 3D printer☆10Mar 3, 2016Updated 10 years ago