A collection of fun logic puzzles solved in Prolog, demonstrating the power of logic programming for solving complex reasoning problems.
☆21Jul 26, 2025Updated last year
Alternatives and similar repositories for awesome-prolog-puzzles
Users that are interested in awesome-prolog-puzzles are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A dynamic blog engine written in pure Prolog. Zero dependencies, built-in Markdown support, and a prolog HTTP server.☆57Jan 3, 2026Updated 9 months ago
- Byte Pair Encoding☆97Apr 4, 2025Updated last year
- Launch any command in epitech docker environnement☆11Apr 29, 2025Updated last year
- C++23 Wayland client library using C++ modules. No libwayland dependency.☆31Sep 15, 2026Updated last month
- Examples of computing over encrypted or private data☆15Feb 15, 2026Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Parallel Build Strategy Experiments☆17Aug 21, 2025Updated last year
- A prototype to write blog posts with executable ocaml code blocks☆10Apr 25, 2025Updated last year
- make red image (other colors available), short loading times, minimal programming required☆16Nov 6, 2025Updated 11 months ago
- Simple demo on how to write Native Raylib App in RPython☆19Oct 25, 2024Updated 2 years ago
- Type search engine for jai inspired by Tsoding's Coogle☆19Mar 18, 2025Updated last year
- Something like serde, but in C☆65Jul 25, 2025Updated last year
- My take on writing 'Ray Tracing in One Weekend' with Haskell☆15Aug 16, 2025Updated last year
- Tiny Pure Functional Programming Language in C☆210Jan 8, 2026Updated 9 months ago
- Jai module for generating CTags☆31Dec 29, 2022Updated 3 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.
- Quines inspired by a Tsoding livestream☆34Jan 18, 2026Updated 9 months ago
- A high-performance striped resource pooling implementation for Haskell☆26Oct 26, 2026Updated last week
- A Game Boy Advance emulator.☆13Jun 16, 2024Updated 2 years ago
- Tarski's world: semantics of first-order logic☆11Oct 13, 2026Updated 2 weeks ago
- MQTT client for OCaml☆26Apr 6, 2024Updated 2 years ago
- Small C compiler with a Sea of Nodes backend, made for trying out optimizations.☆42Oct 26, 2026Updated last week
- Link to page of PDF in Markdown, with Neovim and Zathura.☆13Nov 11, 2024Updated last year
- You are looking for https://github.com/tsoding/koil☆15Aug 27, 2024Updated 2 years ago
- Luxoria is a powerful all-in-one photography solution designed to boost your workflow☆24May 5, 2026Updated 5 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Ultimate way to browse YouTube.☆10Jun 26, 2026Updated 4 months ago
- Code repository for the upcoming Magical Haskell book☆12May 29, 2025Updated last year
- A simple and fast text editor☆11Apr 13, 2026Updated 6 months ago
- a standard library made in x86 assembly, including sockets, SHA1, base64 and more!☆17Jul 9, 2026Updated 3 months ago
- Tool to convert CSV files exported from Reader to Omnivore's import format☆12Apr 23, 2024Updated 2 years ago
- Simple Console Reminder Application☆116Oct 27, 2025Updated last year
- Pilas Bloques es una aplicación para enseñar y aprender a programar por medio de bloques de forma simple y divertida.☆17Updated this week
- Welcome to the Mucc project!☆17Updated this week
- lambda calculus interpreter☆48May 2, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆10Jan 8, 2021Updated 5 years ago
- A C compiler that tries to eliminate the need for header files as much as possible.☆92Updated this week
- A tiling window manager for Wayland, written and configured in Haskell.☆17Jul 2, 2026Updated 4 months ago
- Are you speaking Toki Pona? Find out now!☆11Jun 26, 2026Updated 4 months ago
- SICP in other languages☆13May 13, 2011Updated 15 years ago
- VSCode/LSP snippet support for Emacs with Yasnippet.☆15Sep 10, 2026Updated last month
- Damian Nadales's sandbox☆12May 8, 2026Updated 5 months ago