UEFI
☆33Oct 22, 2025Updated 9 months ago
Alternatives and similar repositories for uefi
Users that are interested in uefi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Python package and helper tool to analyze, convert and modify UEFI variable stores.☆28Sep 13, 2024Updated last year
- my personal NixOS config☆14Updated this week
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆10Sep 7, 2023Updated 2 years ago
- SLSA level 3 action☆12Apr 26, 2024Updated 2 years ago
- GitHub action to check if your Go modules are tidy☆13Jul 20, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆44May 9, 2026Updated 3 months ago
- ☆15Jan 11, 2026Updated 6 months ago
- nix to bazel-re proxy☆27Oct 1, 2024Updated last year
- Meetup in Bochum for Nix/NixOS users and those who want to become one☆20Jun 24, 2024Updated 2 years ago
- This repository contains the mkosi definitions for the images☆30May 18, 2025Updated last year
- Generic Attestation Service☆44Nov 20, 2023Updated 2 years ago
- Nix package set library☆62May 8, 2025Updated last year
- ☆20Nov 12, 2023Updated 2 years ago
- Generic SDK and CLI for GA4GH API services☆15Feb 2, 2026Updated 6 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆16Nov 18, 2025Updated 8 months ago
- ☆17Jul 27, 2026Updated 2 weeks ago
- Rust implementation of Nordic's Enhanced ShockBurst communication protocol☆18Jan 25, 2022Updated 4 years ago
- The servers configurations of https://dse.in.tum.de/☆50Updated this week
- Exploitation primitives worth mentioning surrounding Glibc's Malloc implementation☆17Jun 26, 2018Updated 8 years ago
- Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing☆74May 28, 2026Updated 2 months ago
- COCONUT-SVSM☆234Updated this week
- Build bit-by-bit reproducible OS images with mkosi and Nix☆38Feb 7, 2024Updated 2 years ago
- Exploring Shared Virtual Memory Abstractions in OpenCL Tools for FPGAs☆18Dec 7, 2017Updated 8 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆11Jun 10, 2024Updated 2 years ago
- A public description of our private LumiGuide monorepo that can be used in talks and in mailing list discussions☆10Mar 26, 2017Updated 9 years ago
- UAPI Group Specifications☆144Jul 2, 2026Updated last month
- TSS 2.0 Enhanced System API (ESAPI) Rust wrapper☆135Jul 20, 2026Updated 3 weeks ago
- FPGA-supported OpenCV Prototype (Added new FPGA OpenCV module, modified opencv-core to support Altera FPGA callstream)☆17Aug 24, 2017Updated 8 years ago
- Bazel rules for kubebuilder☆11Apr 17, 2023Updated 3 years ago
- Libraries and tools for Confidential Computing on Azure☆18Jul 23, 2026Updated 2 weeks ago
- Bare-metal Rust explorations of the Allwinner D1☆17Oct 25, 2022Updated 3 years ago
- Provide access to vault secrets to systemd services☆89Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Smith-Waterman Acceleration on Intel’s FPGA with OpenCL for Long DNA Sequences☆19Jan 25, 2019Updated 7 years ago
- Veracruz branches of https://gitlab.com/arm-research/security/icecap/icecap☆19Jan 22, 2024Updated 2 years ago
- A header-only bloom filter implementation in C++14.☆14Sep 10, 2018Updated 7 years ago
- A fully-fledged network of yester-year to teach long forgotten security techniques☆10Feb 15, 2026Updated 5 months ago
- Lectures and Labs for Data Parallel Computing and DPC++. Sponsored by Intel Corporation.☆13Apr 7, 2022Updated 4 years ago
- An easy way to give all your EC2 instances SSH host certificates☆16Feb 25, 2023Updated 3 years ago
- Bazel rules for PyO3☆14Oct 7, 2025Updated 10 months ago