Void Linux installer implemented in GNU Prolog.
☆45Jul 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
Sorting:
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Jan 12, 2026Updated 2 months ago
- Creates an initramfs image☆29Updated this week
- 66 service frontends for voidlinux☆34Feb 8, 2024Updated 2 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- mdoc(7) versions of the documentation for the s6 supervision suite☆23Apr 9, 2023Updated 2 years ago
- Nimspire: the idea incubator cli app☆10Jan 5, 2020Updated 6 years ago
- Scheme environment switcher (like pyenv).☆18Oct 27, 2025Updated 4 months ago
- hrmpf rescue system, built on Void Linux☆369Dec 31, 2025Updated 2 months ago
- Official openSUSE spin of Greybird☆10Dec 19, 2024Updated last year
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- RaspberryPiOS PiXflat modified theme and icons for LXDE (Openbox) / XFCE (xfwm4) / GNOME (GTK)☆17Jun 24, 2025Updated 8 months ago
- CLP(BNR) module for SWI-Prolog☆44Feb 24, 2026Updated 3 weeks ago
- Library classes for the Twelf Proof System☆23Jun 16, 2020Updated 5 years ago
- Перевод квестов GregTech New Horizon (ru)☆12Sep 24, 2023Updated 2 years ago
- My configuration files for RiverWM using Go and Rose-Pine Colorscheme.☆20Oct 21, 2022Updated 3 years ago
- Simple, filesystem-based caching for Racket☆17Jun 28, 2022Updated 3 years ago
- convert docker-compose yaml files to graphviz dot files☆12Oct 18, 2020Updated 5 years ago
- A Qt-based XBPS front end☆87Sep 7, 2025Updated 6 months ago
- Build a custom nixos installation iso from any os with the help of vagrant☆16Jul 29, 2021Updated 4 years ago
- A static site generator written in Nim☆16Jun 25, 2020Updated 5 years ago
- An environment variable manager for Racket applications☆17Apr 27, 2023Updated 2 years ago
- A library to access to basic functions of hardware cryptocurrencies wallets☆10Mar 17, 2019Updated 7 years ago
- Collection of artworks for Void linux☆33Feb 23, 2026Updated 3 weeks ago
- Graphical system install utility☆15Sep 10, 2021Updated 4 years ago
- Daily hacker news top stories. Subscribe the hackernews daily top stories by watching this repo.☆30Jan 8, 2026Updated 2 months ago
- A basic bash port of a Test::More/Test::Builder-style TAP-compliant test library.☆29Mar 11, 2016Updated 10 years ago
- Jinja2 syntax hightlighting for kate☆18Aug 8, 2025Updated 7 months ago
- Copies of prolog solvers for use from python☆19Jul 8, 2024Updated last year
- ☆18Apr 17, 2023Updated 2 years ago
- zedenv plugin for GRUB☆11Feb 16, 2020Updated 6 years ago
- One-stop ZFS backup & replication solution (fork)☆32Updated this week
- barebone-nvim, the bare minimum to get started with neovim☆21Oct 24, 2025Updated 4 months ago
- The NetAuth service itself.☆74Aug 14, 2025Updated 7 months ago
- ☆53Jun 16, 2025Updated 9 months ago
- Local semantic indexing and search for Emacs☆10Aug 23, 2025Updated 6 months ago
- my dotfiles X3 🩷☆17Mar 25, 2024Updated last year
- Ditana Assistant: AI-powered CLI/GUI tool for intelligent assistance, leveraging LLMs with OS interaction capabilities and context augmen…☆13Aug 20, 2025Updated 7 months ago
- Repository to host Servo nightly builds using Github Releases.☆15Updated this week
- A semantic application launcher and desktop search application for GNOME.☆13May 27, 2023Updated 2 years ago