cryptoque/awesome-prolog-puzzles external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

cryptoque/awesome-prolog-puzzles

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/cryptoque/awesome-prolog-puzzles)

Close

cryptoque / awesome-prolog-puzzlesView on GitHubMore

• External links
• Readme badge

A collection of fun logic puzzles solved in Prolog, demonstrating the power of logic programming for solving complex reasoning problems.

☆21Jul 26, 2025Updated 7 months ago

Alternatives and similar repositories for awesome-prolog-puzzles

Users that are interested in awesome-prolog-puzzles are comparing it to the libraries listed below

• LunaAmora / 4orth

  View on GitHub
  4orth is a Porth compiler with WASM, WASI and WASM-4 targets
  ☆23Mar 21, 2023Updated 2 years ago
• bit69tream / stribun

  View on GitHub
  A game for the raylib Slo-Jam!
  ☆32Jan 16, 2024Updated 2 years ago
• 01founders-crack / piscine-go

  View on GitHub
  ☆15Jul 19, 2023Updated 2 years ago
• oopsno / XDUThesis

  View on GitHub
  西安电子科技大学本科生毕业设计（论文）LaTeX模板
  ☆11Jun 7, 2016Updated 9 years ago
• EventConnectPlatform / ssl-cassandra-jdbc-driver

  View on GitHub
  Enhanced SSL support for Cassandra on DataGrip
  ☆15Mar 6, 2025Updated 11 months ago
• EdwinWenink / kobo-notes

  View on GitHub
  ☆10Jan 8, 2021Updated 5 years ago
• rishi115 / flutter-Ebook-app

  View on GitHub
  ☆14Nov 15, 2025Updated 3 months ago
• samuelchen52 / gbaemu

  View on GitHub
  A Game Boy Advance emulator.
  ☆11Jun 16, 2024Updated last year
• XorDev / Vaporwave-Shaderpack

  View on GitHub
  Minecraft vaporwave shaders?
  ☆11Jan 18, 2020Updated 6 years ago
• rust-av / intel-mediasdk-rs

  View on GitHub
  Rust bindings to Intel MediaSDK
  ☆12Jul 23, 2021Updated 4 years ago
• eramdam / kagi-catppuccin

  View on GitHub
  🐶 Soothing pastel theme for Kagi
  ☆11May 31, 2023Updated 2 years ago
• panglesd / blogaml

  View on GitHub
  A prototype to write blog posts with executable ocaml code blocks
  ☆10Apr 25, 2025Updated 10 months ago
• evillero / fortune_cookie

  View on GitHub
  Fortune cookie app for Flipper Zero
  ☆16Nov 5, 2024Updated last year
• RJW20 / gbemu

  View on GitHub
  GameBoy emulator written in C++.
  ☆11Sep 17, 2025Updated 5 months ago
• guimauveb / haskell-c-compiler

  View on GitHub
  A Haskell implementation of a C compiler
  ☆12Jun 19, 2021Updated 4 years ago
• Jakz / abab-is-me

  View on GitHub
  Open source game engine for Baba Is You puzzle game
  ☆12Jul 18, 2024Updated last year
• CRIStAL-Sigma / phd-thesis-template

  View on GitHub
  Template for PhD thesis using Tufte's style book
  ☆11Mar 13, 2020Updated 5 years ago
• leshow / haskell-programming-book

  View on GitHub
  My exercises for Haskell: First Principles
  ☆10Oct 16, 2018Updated 7 years ago
• foulman / Psioniclysm

  View on GitHub
  Psionic Powers for Cataclysm: Dark Days Ahead
  ☆11Jun 4, 2020Updated 5 years ago
• omnivore-app / readwise-reader-csv-to-omnivore-csv

  View on GitHub
  Tool to convert CSV files exported from Reader to Omnivore's import format
  ☆12Apr 23, 2024Updated last year
• racket / racket-pkg-website

  View on GitHub
  A frontend for the Racket Package Catalog.
  ☆13Feb 7, 2026Updated 3 weeks ago
• kagisearch / Kagi-Search-for-Safari-macOS

  View on GitHub
  ☆11Dec 29, 2023Updated 2 years ago
• KyleKlus / solitude-obsidian-theme

  View on GitHub
  This is a highly customizable modern looking theme for Obsidian
  ☆17Nov 9, 2024Updated last year
• rexim / tore

  View on GitHub
  Simple Console Reminder Application
  ☆110Oct 27, 2025Updated 4 months ago
• mtolly / rail

  View on GitHub
  Interpreter/compiler for a 2D esoteric language
  ☆12Jul 26, 2015Updated 10 years ago
• captainflasmr / Emacs-DIYer

  View on GitHub
  Emacs elisp defuns replacing or enhancing major external packages
  ☆14Feb 20, 2026Updated last week
• boomlinde / pocketacid

  View on GitHub
  Music sequencer for cheap gaming handhelds
  ☆59Jan 14, 2026Updated last month
• parthnariya / 30-days-of-TS

  View on GitHub
  Typescript challenge for 30 days! I'll be doing two code tasks per day for the next 30 days and uploading them here.
  ☆12May 9, 2023Updated 2 years ago
• rs-loves-bugs / portable-neovim

  View on GitHub
  Build a one file portable neovim bundle from your current neovim config
  ☆12Apr 9, 2023Updated 2 years ago
• nyxus-git / dots-hyprland

  View on GitHub
  demo video
  ☆11Sep 21, 2024Updated last year
• L-P / blargg-test-roms

  View on GitHub
  Blargg's DMG/GBC test roms.
  ☆11Aug 15, 2018Updated 7 years ago
• binsu996 / stock_tax_calculator

  View on GitHub
  ☆24Feb 21, 2026Updated last week
• dnadales / sandbox

  View on GitHub
  Damian Nadales's sandbox
  ☆12Jun 15, 2023Updated 2 years ago
• tmpstpdwn / 2048.c

  View on GitHub
  2048 in c
  ☆23Sep 22, 2025Updated 5 months ago
• jfecher / inc-complete

  View on GitHub
  A library for incremental computations
  ☆17Feb 22, 2026Updated last week
• Kobzol / debug-visualizer

  View on GitHub
  Program memory visualizer for GDB/LLDB (bachelor thesis)
  ☆12Apr 17, 2016Updated 9 years ago
• Fris0uman / CDDA-Music-Packs

  View on GitHub
  Music Packs for the game Cataclysm: Dark Days Ahead
  ☆14Sep 6, 2023Updated 2 years ago
• ckanibal / clonk-rage

  View on GitHub
  Open-Source fork of RedWolf Design's Clonk Rage.
  ☆10May 6, 2017Updated 8 years ago
• Zarkonnen / trolleyproblems

  View on GitHub
  A generator for trolley problems.
  ☆12Apr 26, 2015Updated 10 years ago