cryptoque / awesome-prolog-puzzlesLinks
A collection of fun logic puzzles solved in Prolog, demonstrating the power of logic programming for solving complex reasoning problems.
☆17Updated 2 weeks 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
Sorting:
- rexim's personal website☆31Updated 2 weeks ago
- Here I keep some thoughts that I always wanted to write down somewhere, but never knew where.☆80Updated last year
- A simple demo of using SIMD instructions and Raylib in fasm☆96Updated last year
- Simple C mode for Emacs☆105Updated 6 months ago
- A game for the raylib Slo-Jam!☆30Updated last year
- Turing Language☆202Updated last year
- make red image (other colors available), short loading times, minimal programming required☆16Updated last year
- A ToDo app made in pure HTML and CSS without using JS☆31Updated 4 months ago
- std replacement for C++☆205Updated 8 months ago
- Support Tsoding☆66Updated 7 months ago
- Command-line flag parsing in C☆191Updated 3 weeks ago
- Enhanced Tsoding's Emacs Theme for VSCode.☆35Updated 3 weeks ago
- JIT Compiler for Brainfuck☆173Updated last year
- RandomArt Idea Implementation from the Hash Visualization Paper☆124Updated 8 months ago
- Structured Human-Readable Binary Format☆63Updated 5 months ago
- My Solutions for Advent of Code 2023☆23Updated last year
- FAQ☆167Updated last year
- Simple Turn-based Game☆377Updated last year
- Type search engine for jai inspired by Tsoding's Coogle☆18Updated 4 months ago
- Very basic lexer for very basic cases☆86Updated 8 months ago
- Binary Visualization based on Christopher Domas talk: https://www.youtube.com/watch?v=4bM3Gut1hIk☆83Updated last year
- A build system in C for C☆379Updated last month
- Programming Animation Engine☆93Updated 7 months ago
- Simple Gemini browser☆36Updated 5 months ago
- Starting Soon Timer for Tsoding Streams☆271Updated 9 months ago
- Gruber Darker color theme for Emacs 24+☆342Updated 11 months ago
- Official repository of the Quick Emacs editor☆151Updated 3 months ago
- Emacs' compilation-mode-like TUI application☆113Updated 4 years ago
- Something like serde, but in C☆58Updated 3 weeks ago
- Simple Console Reminder Application☆89Updated last month