verified-HRoT / dice-starView external linksLinks
☆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:
- Robust Internet of Things, Microsoft Research☆91May 30, 2023Updated 2 years ago
- 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
- Standardization of security reviews for datacenter products☆23Feb 4, 2026Updated last week
- The Pulse separation logic DSL for F*☆34Updated this week
- Post-quantum cryptography certificates☆78Updated this week
- Biomark Fluidigm qPCR data set: processing and analysis☆10Apr 8, 2024Updated last year
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆50Feb 9, 2026Updated last week
- ☆47Jan 15, 2026Updated last month
- Open Cryptanalysis Platform☆13Feb 7, 2026Updated last week
- SDK for Keystone Enclave - ABI/SBI libraries and sample apps☆44Oct 10, 2022Updated 3 years ago
- Alistair's fork of the Linux kernel source tree. Including sources for the mainline reMarkable 2 kernel development, sunxi patches and ot…☆11Updated this week
- Medium Access Control layer of 802.15.4☆13Nov 14, 2014Updated 11 years ago
- Applicant Tracking System on ASP.NET MVC 5 | Sistema de Reclutamiento y Selección de Personal☆13Mar 3, 2023Updated 2 years ago
- A place to find and share ROS2 learning resources!☆11Jan 25, 2023Updated 3 years ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- ☆18Jun 6, 2025Updated 8 months ago
- This document introduces how to implement a secure boot chain in UEFI using the TianoCore EDK II project☆12Apr 30, 2025Updated 9 months ago
- A linux/mac driver for the Sunxi line of iChargers. Tested with iCharger 1010B+.☆12Mar 4, 2017Updated 8 years ago
- electron use n-api extend native interface.☆11Oct 6, 2020Updated 5 years ago
- A hex editor built with Vue.JS☆10Aug 25, 2021Updated 4 years ago
- Construct complex structures within single call + simple compile-time meta-inheritance model with mixins.☆13Dec 12, 2023Updated 2 years ago
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 3 months ago
- Common MPC Pitfalls☆12Oct 27, 2025Updated 3 months ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆12Dec 2, 2025Updated 2 months ago
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated last year
- ☆14Apr 14, 2025Updated 10 months ago
- twitter bot☆13Jan 26, 2015Updated 11 years ago
- Cross-platform Rust wrappers for the PCI ID Repository☆11Oct 3, 2025Updated 4 months ago
- Abstract Syntax Definition Language (ASDL) ported to C++☆13Aug 9, 2020Updated 5 years ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 3 months ago
- Daemon adding support for PLDM (Platform Level Data Model). Supports PLDM Sensors, FRU and Firmware Updates☆12Nov 26, 2024Updated last year
- work in progress, playing around with btor2 in rust☆12Feb 6, 2026Updated last week
- Hello World examples in assembly, for use as templates.☆12Jan 18, 2026Updated 3 weeks ago
- The libmetal module specific for use with Zephyr. This is not a mirror of the official libmetal repo.☆14Nov 6, 2025Updated 3 months ago
- A work-in-progress project to automate applying to jobs on commonly used Applicant Tracking Systems (Workday, Greenhouse etc.)☆12Jun 25, 2025Updated 7 months ago
- My NixOs dotfiles for my machines☆11Updated this week
- Dealing with Flags and Options☆13Sep 10, 2021Updated 4 years ago
- ☆19Updated this week
- Hackable modal text editor for modern terminals☆25Oct 27, 2025Updated 3 months ago