☆23May 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- CoRIM and CoMID manipulation library☆22Apr 30, 2026Updated last week
- Formal specification of attestation mechanisms in Confidential Computing☆24Nov 22, 2025Updated 5 months ago
- Standardization of security reviews for datacenter products☆27Updated this week
- Secure Interrogation of Genomic Databases (SIG-DB) using Homomorphic Encryption☆10May 16, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- RISC-V Linux for Keystone Enclave (will be deprecated in the future versions. See https://github.com/keystone-enclave/linux-keystone-driv…☆16Apr 3, 2019Updated 7 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆25Mar 3, 2026Updated 2 months ago
- A Bro package to identify connections that are bursting (lots of data and transferring quickly).☆13Oct 15, 2020Updated 5 years ago
- The Pulse separation logic DSL for F*☆35Apr 4, 2026Updated last month
- Lean cryptographic library usable for bare-metal environments☆87Updated this week
- ☆20Mar 3, 2026Updated 2 months ago
- Construct complex structures within single call + simple compile-time meta-inheritance model with mixins.☆13Dec 12, 2023Updated 2 years ago
- Automatically exported from code.google.com/p/xml2rfc-xxe☆12Jul 9, 2022Updated 3 years ago
- Verifying OpenTitan☆28Aug 20, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- My NixOs dotfiles for my machines☆11Apr 8, 2026Updated last month
- This bot detects keywords from any chat rooms and send an alert to the subscribers. Evil eavesdropper!☆17Jul 28, 2018Updated 7 years ago
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆54Apr 28, 2026Updated last week
- Ruby gem used to load, validate, and parse European Data Format files. Used for batch testing EDFs for errors.☆14Mar 1, 2019Updated 7 years ago
- ☆16Jul 23, 2024Updated last year
- Images of Teardowns (CC BY licensed)☆13Jul 7, 2021Updated 4 years ago
- The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across diff…☆33Apr 20, 2026Updated 2 weeks ago
- ☆13Jul 7, 2022Updated 3 years ago
- ☆19Nov 14, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Gibbs sampling inference to LDA☆19Apr 4, 2014Updated 12 years ago
- Post-quantum cryptography certificates☆84Apr 15, 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 6 months ago
- Compiler and code generator for a dialect of Abstract Syntax Description Language☆13Oct 13, 2018Updated 7 years ago
- a more powerful heated bed for your 3D printer☆10Mar 3, 2016Updated 10 years ago
- An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information☆12Feb 28, 2020Updated 6 years ago
- DNS over QUIC implementation in Go (draft-ietf-dprive-dnsoquic-02)☆18Nov 7, 2021Updated 4 years ago
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 3 years ago
- A super super fast waveform visualizer for very very big traces☆31Apr 21, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆10Mar 16, 2026Updated last month
- Port of Uxn to digital hardware in the Logisim simulator☆16Dec 11, 2023Updated 2 years ago
- ☆21Oct 3, 2021Updated 4 years ago
- Moxa Nport devices enumerate script☆16Apr 9, 2016Updated 10 years ago
- 开源国密SM2/SM3/SM4算法，基于GmSSL，基于OpenSSL1.1.0☆11Apr 22, 2017Updated 9 years ago
- ☆14Jan 17, 2020Updated 6 years ago
- The Amazing $1 Microcontrollers☆16May 14, 2019Updated 6 years ago