cryptoque / awesome-prolog-puzzlesLinks
A collection of fun logic puzzles solved in Prolog, demonstrating the power of logic programming for solving complex reasoning problems.
☆19Updated last month
Alternatives and similar repositories for awesome-prolog-puzzles
Users that are interested in awesome-prolog-puzzles are comparing it to the libraries listed below
Sorting:
- Simple C mode for Emacs☆107Updated 7 months ago
- A ToDo app made in pure HTML and CSS without using JS☆33Updated 5 months ago
- Gruber Darker color theme for Emacs 24+☆350Updated last year
- A game for the raylib Slo-Jam!☆31Updated last year
- rexim's personal website☆33Updated last month
- RandomArt Idea Implementation from the Hash Visualization Paper☆123Updated 10 months ago
- Here I keep some thoughts that I always wanted to write down somewhere, but never knew where.☆80Updated last year
- Turing Language☆206Updated last year
- make red image (other colors available), short loading times, minimal programming required☆16Updated last year
- Structured Human-Readable Binary Format☆64Updated 6 months ago
- Enhanced Tsoding's Emacs Theme for VSCode.☆35Updated 2 weeks ago
- Type search engine for jai inspired by Tsoding's Coogle☆18Updated 6 months ago
- My Solutions for Advent of Code 2023☆23Updated last year
- FAQ☆172Updated last year
- Very basic lexer for very basic cases☆87Updated 10 months ago
- Official repository of the Quick Emacs editor☆156Updated 5 months ago
- Command-line flag parsing in C☆205Updated 2 weeks ago
- Programming Animation Engine☆95Updated 9 months ago
- Universal Behavior Testing Tool in Python.☆56Updated last year
- Simple Console Reminder Application☆96Updated last month
- A simple demo of using SIMD instructions and Raylib in fasm☆96Updated last year
- Config files for mixer☆448Updated 3 months ago
- Simple Turn-based Game☆411Updated last year
- Support Tsoding☆71Updated 8 months ago
- JIT Compiler for Brainfuck☆174Updated last year
- Emacs' compilation-mode-like TUI application☆114Updated 4 years ago
- Demo of C3 Programming Language☆61Updated last year
- SmoothLife Implementation in C☆76Updated 2 years ago
- Something like serde, but in C☆60Updated last month
- Rust hello world without stdlib (aarch64 linux)☆49Updated last week