Booster UKI Manager - A simple bash script to manage UKI files generated by booster and systemd-ukify
☆16May 11, 2025Updated 11 months ago
Alternatives and similar repositories for booster-um
Users that are interested in booster-um are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Abstractions for iterating and mapping over struct fields☆17Jan 15, 2026Updated 3 months ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- Modified version of i.j Shell Property Sheets Export/Import 32☆11Nov 17, 2020Updated 5 years ago
- CLI wrapper around ethers-rs to query the ethereum blockchain from the terminal☆20May 7, 2023Updated 2 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆14Nov 8, 2024Updated last year
- Small OBJ/Archive Obfuscation framework☆14Nov 9, 2023Updated 2 years ago
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆18Sep 10, 2024Updated last year
- Buddy allocator, forked from the toyos repository.☆15Jul 25, 2021Updated 4 years ago
- High Performance SSZ Implementation☆14Jan 1, 2025Updated last year
- Script to sign external Linux kernel modules for UEFI Secure Boot.☆31Oct 24, 2019Updated 6 years ago
- minimalistic wrapper for chatgpt api for better prompt engineering☆11Jul 9, 2023Updated 2 years ago
- Assets for the NVIDA RTX Path Tracing SDK☆13Mar 19, 2024Updated 2 years ago
- First instruction-tuning dataset distilled from Claude2 (52k Alpaca prompts)!☆13Oct 22, 2023Updated 2 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.
- devp2p implementation from akula☆15Mar 6, 2023Updated 3 years ago
- An instruction of how to modify bios image to enable avx512 for alderlake CPU on modern gigabyte motherboards☆13Feb 2, 2023Updated 3 years ago
- A simple UI for browsing libmdbx databases☆13Oct 7, 2024Updated last year
- All Steps to enable Undervolt again. With all TOOLs Required.(Along with my files too)☆15Sep 25, 2021Updated 4 years ago
- Mount VSCs with ease!☆18Jan 22, 2025Updated last year
- ☆27Mar 15, 2026Updated last month
- Automatically installs FSR3 mod in your game folder☆14Jan 11, 2024Updated 2 years ago
- Quivr Second Brain Status☆11Nov 14, 2023Updated 2 years ago
- RAILGUN Circuits V2☆25Mar 3, 2026Updated last month
- 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.
- A Sourcemod plugin to update RGL.gg approved server resources(cfgs, plugins, etc)☆11Updated this week
- Moved to https://github.com/MeisApps/pcbu-desktop☆18Jun 22, 2024Updated last year
- ☆13Updated this week
- ☆18Jun 30, 2024Updated last year
- Proof of concept trade simulation using state overrides☆23Sep 8, 2022Updated 3 years ago
- SSZ-compatible tree hash implementation optimised for speed and security☆23Feb 5, 2026Updated 2 months ago
- Various utilities to modify BIOS/UEFI firmware files and live editing IN YOUR PC!☆15Aug 25, 2022Updated 3 years ago
- Some simple C++ template abuse☆19Jul 12, 2019Updated 6 years ago
- This page is a mirror of the former content of http://www.geohot.com/ as at 26 January 2011, removed following a Sony lawsuit. All conten…☆27Feb 16, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 6 years ago
- A Windows kernel driver unit testing framework. Provides a macro free modern cpp syntax. Includes tools for automatic running on your vm.☆11May 15, 2023Updated 2 years ago
- initrd implementation in ubuntu core☆15Mar 3, 2026Updated last month
- Makes BTW run as a hacky fabric mod☆13Dec 15, 2025Updated 4 months ago
- A Cheat Sheet for Coq Developers who want to try LeanProver☆19Jul 25, 2023Updated 2 years ago
- Here you can find some vulnerable Windows Kernel Drivers☆13Feb 21, 2025Updated last year
- Use a TPM to store a TOTP token in order to attest boot state to another device☆16Mar 10, 2023Updated 3 years ago