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 7 months ago
- Interpreter/compiler for a 2D esoteric language☆12Jul 26, 2015Updated 11 years ago
- Byte Pair Encoding☆97Apr 4, 2025Updated last year
- A prototype to write blog posts with executable ocaml code blocks☆10Apr 25, 2025Updated last year
- Parallel Build Strategy Experiments☆17Aug 21, 2025Updated 11 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Type search engine for jai inspired by Tsoding's Coogle☆19Mar 18, 2025Updated last year
- pogfish☆38Jan 22, 2026Updated 6 months ago
- A simple unikernel to serve files via HTTP in full OCaml☆15Jun 3, 2026Updated 2 months ago
- 🕵️♂️ A tool that lets you find the first commit(ter) of any public GitHub repository.☆18May 20, 2026Updated 2 months ago
- Type-safe Tailwind CSS in OCaml - A lightweight utility-first CSS generation library with prose typography support, responsive modifiers…☆29Aug 4, 2026Updated last week
- Adding support for Visual Studio Code-compatible devcontainers (https://containers.dev/) to Emacs☆21May 10, 2025Updated last year
- ☆19Feb 8, 2016Updated 10 years ago
- My take on writing 'Ray Tracing in One Weekend' with Haskell☆15Aug 16, 2025Updated 11 months ago
- ☆14Nov 15, 2025Updated 8 months ago
- 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.
- Minimal light and dark themes for GNU Emacs based on the original Sublime Text Alabaster color scheme.☆30Mar 25, 2026Updated 4 months ago
- You are looking for https://github.com/tsoding/koil☆14Aug 27, 2024Updated last year
- Tiny Pure Functional Programming Language in C☆205Jan 8, 2026Updated 7 months ago
- A TCP/IP implementation in pure OCaml☆18Jul 31, 2026Updated last week
- Generate json schema from ocaml type☆25Aug 1, 2026Updated last week
- Artifacts of the "Computer Vision" stream☆25Jun 6, 2024Updated 2 years ago
- Python's shlex but in C☆32Jul 27, 2025Updated last year
- Jai module for generating CTags☆32Dec 29, 2022Updated 3 years ago
- ☆12Feb 14, 2023Updated 3 years 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.
- A chrome/firefox extension that allows you to open github repositories in VSCode with Github1s☆46Jul 23, 2024Updated 2 years ago
- A high-performance striped resource pooling implementation for Haskell☆26Aug 4, 2026Updated last week
- Plugin for allowing json5 and jsonc files to be loaded☆16Apr 24, 2026Updated 3 months ago
- Simple 6502 emulator that integrates with POSIX environment☆36Jul 26, 2025Updated last year
- 🐶 Soothing pastel theme for Kagi☆11May 31, 2023Updated 3 years ago
- Update a Github release smartly, with a freshly built asset☆14Mar 14, 2020Updated 6 years ago
- A simple Lexer for the Rockstar programming language specification written in Haskell with the Alex tool.☆12Mar 4, 2019Updated 7 years ago
- Template for PhD thesis using Tufte's style book☆11Mar 13, 2020Updated 6 years ago
- Brainfuck mode for Emacs☆20Jan 13, 2015Updated 11 years 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 Midwinter-inspired terrain engine for Acorn Archimedes☆20Aug 2, 2026Updated last week
- Applying the stupidity of bogosort to file transfers is the height of folly.☆11Nov 24, 2019Updated 6 years ago
- a standard library made in x86 assembly, including sockets, SHA1, base64 and more!☆17Jul 9, 2026Updated last month
- SymCode: The Symbolic Barcode for Humans and Machines☆22May 24, 2023Updated 3 years ago
- My exercises for Haskell: First Principles☆10Oct 16, 2018Updated 7 years ago
- A Haskell implementation of a C compiler☆11Jun 19, 2021Updated 5 years ago
- 6+1 = 7☆11Jan 11, 2024Updated 2 years ago