Void Linux installer implemented in GNU Prolog.
☆47Jul 17, 2024Updated 2 years ago
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:
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Jan 12, 2026Updated 6 months ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- Collection of artworks for Void linux☆45May 14, 2026Updated 2 months ago
- My replicable personal computing setup☆32Updated this week
- hrmpf rescue system, built on Void Linux☆384Jun 9, 2026Updated last month
- 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.
- The website☆48Jun 8, 2026Updated last month
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 4 years ago
- A Jupyter kernel for Logtalk☆14Aug 23, 2025Updated 10 months ago
- FreeBSD src tree (read-only mirror)☆12Jan 14, 2019Updated 7 years ago
- A port of vital synthesizer's reverb.☆17Jun 7, 2026Updated last month
- If at first you don't succeed☆12Sep 25, 2020Updated 5 years ago
- Simple, filesystem-based caching for Racket☆17Jun 28, 2022Updated 4 years ago
- Перевод квестов GregTech New Horizon (ru)☆13Sep 24, 2023Updated 2 years ago
- Random ideas about libraries for Prolog☆12Nov 2, 2016Updated 9 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.
- A VS Code extension that provides language support for prolog☆17Mar 2, 2025Updated last year
- A Qt-based XBPS front end☆95Sep 7, 2025Updated 10 months ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- Framework for creating web applications using Logtalk☆12Apr 12, 2023Updated 3 years ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆15Aug 16, 2021Updated 4 years ago
- Prolog Pengines + vue.js☆17Mar 3, 2019Updated 7 years ago
- Graphical system install utility☆15Sep 10, 2021Updated 4 years ago
- Clojure bindings for Scryer Prolog☆17Feb 16, 2025Updated last year
- Personal dotfiles for VoidLinux☆32Sep 5, 2022Updated 3 years 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.
- A Wayland compositor for macOS, using Cocoa as its backend.☆52Mar 18, 2026Updated 4 months ago
- Manage zram swap space☆48Nov 15, 2025Updated 8 months ago
- Pure prolog JSON encoding and decoding library plus some simple utility functions.☆13Jun 10, 2015Updated 11 years ago
- zedenv plugin for GRUB☆11Feb 16, 2020Updated 6 years ago
- Prolog and Java version of Facebook's React concept☆15Mar 23, 2021Updated 5 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆16Feb 22, 2023Updated 3 years ago
- The NetAuth service itself.☆75Aug 14, 2025Updated 11 months ago
- Functional Geometry in Prolog☆18May 17, 2020Updated 6 years ago
- Ditana Assistant: AI-powered CLI/GUI tool for intelligent assistance, leveraging LLMs with OS interaction capabilities and context augmen…☆12Apr 5, 2026Updated 3 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.
- A custom build of ZFSBootMenu to allow unlocking and using zfs pools residing in luks volumes☆16Aug 11, 2025Updated 11 months ago
- Homelab & Self-hosting OCI based OS based on uCore☆16Nov 24, 2025Updated 7 months ago
- TMUX script to run commands in a background session. Similar to abduco/dtach.☆25Dec 8, 2025Updated 7 months ago
- A semantic application launcher and desktop search application for GNOME.☆14May 27, 2023Updated 3 years ago
- mdbook source for docs.voidlinux-ppc.org☆16Jan 26, 2022Updated 4 years ago
- A collection of ICT guides that people might find helpful.☆95May 22, 2026Updated 2 months ago
- Mode and other supporting files for SubEthaEdit☆21Aug 26, 2021Updated 4 years ago