A simple EFI boot manager manager for Linux
☆97Dec 1, 2025Updated 3 months ago
Alternatives and similar repositories for kernelstub
Users that are interested in kernelstub are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An Android Linux Kernel command line patch tool using Magisk's magiskboot binary.☆24Feb 16, 2022Updated 4 years ago
- Xilinota, an open-source multi-platform note-taking application boasting instant syncing among devices and direct keeping of markdown fil…☆15Feb 16, 2026Updated last month
- Scheme code snippets from the book "The Little Schemer", 4th edition☆18Jun 27, 2012Updated 13 years ago
- QOwnNotes command-line snippet manager.☆29Mar 19, 2026Updated last week
- Receive Qualcomm DSP debug logs over USB☆15Jul 22, 2016Updated 9 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.
- Build adb and fastboot with NDK.☆15Aug 8, 2020Updated 5 years ago
- Replacement of temporarily deprecated pip search command☆22Dec 8, 2022Updated 3 years ago
- Firefox extension that automatically pins new tabs based on their URL.☆17May 21, 2025Updated 10 months ago
- Vim plugin: Text objects for ouputs of diff(1)☆15Jan 18, 2013Updated 13 years ago
- A graphical manager of ADB (Android Debug Bridge) and fastboot.☆14Feb 17, 2024Updated 2 years ago
- Enhances the Android shell with aliases, BusyBox, Frida support, and easy ADB configuration for both rooted and non-rooted devices.☆24Jan 31, 2026Updated last month
- ansible container image☆12Dec 22, 2025Updated 3 months ago
- Power profile management for Linux☆638Feb 25, 2026Updated last month
- My Agda blog/lab/playground☆12Mar 20, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Unofficial Snap Packaging for Mari0☆17Mar 26, 2019Updated 7 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- Create small, searchable PDFs from scanned documents☆54Jan 26, 2026Updated 2 months ago
- Converting ArchLinux ARM OS for Berryboot☆15Sep 26, 2023Updated 2 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- kramdown-math-katex uses KaTeX to convert math elements to HTML on the server side☆10Jan 30, 2019Updated 7 years ago
- 7tsp icon themes for Windows as well as some extras. Please read the guide prior to installation☆20May 14, 2022Updated 3 years ago
- ☆12Jan 15, 2024Updated 2 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆14Aug 19, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated last month
- ndk compiled info zip for android☆14Feb 4, 2019Updated 7 years ago
- Generate a Plymouth theme to spoof the SEGA 'glint' animation using a custom logo.☆12Apr 15, 2025Updated 11 months ago
- Highlight npm-debug.log and .npmrc for human readability☆11Jun 24, 2019Updated 6 years ago
- JSON/YAML homoiconic templating language☆18May 13, 2023Updated 2 years ago
- ☆42Mar 17, 2026Updated last week
- ☆80Updated this week
- Better documentation for Scoop.sh☆14Oct 15, 2021Updated 4 years ago
- Quaran 2.0 - The almighty Allah and Jibrail and have commanded me to fix the Quaran. Allahu Akbar!☆13Jan 23, 2022Updated 4 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.
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- ☆11Dec 16, 2024Updated last year
- Free audio delay plugin☆14Oct 10, 2024Updated last year
- Terraform's provider for generate iptables rules with iptables-api☆12Mar 6, 2023Updated 3 years ago
- [C++] Latest Visual-Studio 2005/2008 Project Of JKDefrag Source-Code. Fixed (Will Compile 100%)☆10Jun 20, 2022Updated 3 years ago
- Document Imaging Archive System. Home document imaging, with OCR. Scan documents (with SANE) or import ODF documents, assign tags. Use op…☆25Jul 5, 2015Updated 10 years ago
- ☆19Jun 19, 2019Updated 6 years ago