Void Linux installer implemented in GNU Prolog.
☆46Jul 17, 2024Updated last year
Alternatives and similar repositories for void-pi
Users that are interested in void-pi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Creates an initramfs image☆29Updated this week
- 66 service frontends for voidlinux☆33Feb 8, 2024Updated 2 years ago
- A lightweight frontend for ffmpeg intended specifically for convenient video clipping☆42Sep 23, 2025Updated 8 months ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- Scheme environment switcher (like pyenv).☆18Oct 27, 2025Updated 7 months ago
- 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.
- hrmpf rescue system, built on Void Linux☆375Dec 31, 2025Updated 5 months ago
- Xbps Package Manager History Viewer☆14Mar 14, 2023Updated 3 years ago
- FreeBSD src tree (read-only mirror)☆12Jan 14, 2019Updated 7 years ago
- A Qt-based XBPS front end☆94Sep 7, 2025Updated 9 months ago
- A static site generator written in Nim☆16Jun 25, 2020Updated 5 years ago
- Alpine Linux Setup☆18Jan 12, 2022Updated 4 years ago
- Personal dotfiles for VoidLinux☆32Sep 5, 2022Updated 3 years ago
- Collection of artworks for Void linux☆42May 14, 2026Updated 3 weeks ago
- Jinja2 syntax hightlighting for kate☆18Aug 8, 2025Updated 10 months 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.
- Clojure bindings for Scryer Prolog☆17Feb 16, 2025Updated last year
- Copies of prolog solvers for use from python☆21Jul 8, 2024Updated last year
- zedenv plugin for GRUB☆11Feb 16, 2020Updated 6 years ago
- A Scribble library for typesetting grammars better☆15Feb 22, 2023Updated 3 years ago
- Local semantic indexing and search for Emacs☆11Aug 23, 2025Updated 9 months ago
- ☆55Jun 16, 2025Updated 11 months ago
- my dotfiles X3 🩷☆17Mar 25, 2024Updated 2 years ago
- Repository to host Servo nightly builds using Github Releases.☆18Updated this week
- Ditana Assistant: AI-powered CLI/GUI tool for intelligent assistance, leveraging LLMs with OS interaction capabilities and context augmen…☆13Apr 5, 2026Updated 2 months 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.
- A semantic application launcher and desktop search application for GNOME.☆14May 27, 2023Updated 3 years ago
- Homelab & Self-hosting OCI based OS based on uCore☆16Nov 24, 2025Updated 6 months ago
- ☆15Aug 6, 2024Updated last year
- Markdown to Telegram MarkdownV2 Converter☆13Jul 15, 2024Updated last year
- 🧬 helix(hx) configs☆31Dec 27, 2025Updated 5 months ago
- A tool that automates booting of operating systems on target hardware or in qemu☆52Nov 10, 2025Updated 7 months ago
- Build your own custom Universal Blue Image!☆767Jun 4, 2026Updated last week
- A Bash Source file that contains many useful functions.☆19May 26, 2026Updated 2 weeks ago
- awesome initramfs☆35Apr 25, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- RRR-builder is used for the creation of Rolling Rhino Remix disk images. Automated through GitHub actions.☆15Oct 31, 2022Updated 3 years ago
- The public website for AllenNLP.☆10Feb 3, 2022Updated 4 years ago
- The Void Linux live image maker☆18Mar 12, 2025Updated last year
- 🍂 Dotbaka Specially Minimalist & Easy To Use & Lazy User & Everything Simple | Dotfiles [ Bspwm ]☆49Apr 8, 2023Updated 3 years ago
- NOIR - Official Repositories☆34Mar 6, 2024Updated 2 years ago
- Code for the paper on t-SNE with variable degree of freedom☆11Jun 27, 2019Updated 6 years ago
- IRC with suckless Irc it (ii) and vim☆12Jun 17, 2025Updated 11 months ago