Booster UKI Manager - A simple bash script to manage UKI files generated by booster and systemd-ukify
☆17May 11, 2025Updated 10 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:
- Xcode 4 plugin that prevents LastUpgradeCheck attribute alteration☆13May 8, 2020Updated 5 years ago
- ☆15Jan 10, 2022Updated 4 years ago
- ☆15Jul 2, 2023Updated 2 years ago
- whirlpool cryptographic hashing library☆29Oct 16, 2020Updated 5 years ago
- A PowerShell module for creating and removing Loopback Network Adapters on Windows using Device Conslole (DevCon.exe)☆15Feb 26, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 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
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆17Sep 10, 2024Updated last year
- Buddy allocator, forked from the toyos repository.☆15Jul 25, 2021Updated 4 years ago
- Superset of Yul☆17Updated this week
- High Performance SSZ Implementation☆14Jan 1, 2025Updated last year
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 3 years ago
- Script to sign external Linux kernel modules for UEFI Secure Boot.☆31Oct 24, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- 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
- 🔒 Remote signing☆26Nov 8, 2017Updated 8 years ago
- Twain Scanner Application☆18Updated this week
- A simple UI for browsing libmdbx databases☆13Oct 7, 2024Updated last year
- ☆28Mar 15, 2026Updated 2 weeks ago
- Quivr Second Brain Status☆11Nov 14, 2023Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Sourcemod plugin to update RGL.gg approved server resources(cfgs, plugins, etc)☆11Updated this week
- EraVM specification.☆18Mar 20, 2026Updated last week
- Moved to https://github.com/MeisApps/pcbu-desktop☆18Jun 22, 2024Updated last year
- ☆13Feb 2, 2026Updated last month
- ☆11Feb 28, 2026Updated last month
- Various utilities to modify BIOS/UEFI firmware files and live editing IN YOUR PC!☆15Aug 25, 2022Updated 3 years ago
- WLANManager Powershell Module [Wired ON -> WiFi Off / Wifi Off -> Wired On]☆12Jul 6, 2020Updated 5 years ago
- The ultimate AI detection bypass tool.☆13Jan 22, 2024Updated 2 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 6 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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
- Formalization of 2LTT in Agda☆18Aug 6, 2025Updated 7 months ago
- initrd implementation in ubuntu core☆15Mar 3, 2026Updated 3 weeks ago
- Makes BTW run as a hacky fabric mod☆13Dec 15, 2025Updated 3 months ago
- A Cheat Sheet for Coq Developers who want to try LeanProver☆19Jul 25, 2023Updated 2 years ago
- MODS kernel driver☆14Jan 3, 2023Updated 3 years ago
- Here you can find some vulnerable Windows Kernel Drivers☆13Feb 21, 2025Updated last year