cryptoque / awesome-prolog-puzzlesLinks
A collection of fun logic puzzles solved in Prolog, demonstrating the power of logic programming for solving complex reasoning problems.
☆20Updated 3 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
Sorting:
- Simple C mode for Emacs☆117Updated last week
- A ToDo app made in pure HTML and CSS without using JS☆33Updated 6 months ago
- Here I keep some thoughts that I always wanted to write down somewhere, but never knew where.☆80Updated last year
- Simple Console Reminder Application☆99Updated last week
- make red image (other colors available), short loading times, minimal programming required☆16Updated last year
- A simple demo of using SIMD instructions and Raylib in fasm☆96Updated last year
- My Solutions for Advent of Code 2023☆23Updated last year
- Enhanced Tsoding's Emacs Theme for VSCode.☆35Updated 2 months ago
- Gruber Darker color theme for Emacs 24+☆359Updated last year
- Type search engine for jai inspired by Tsoding's Coogle☆18Updated 7 months ago
- RandomArt Idea Implementation from the Hash Visualization Paper☆124Updated 11 months ago
- Turing Language☆207Updated last year
- Structured Human-Readable Binary Format☆63Updated 7 months ago
- Programming Animation Engine☆102Updated last week
- Universal Behavior Testing Tool in Python.☆56Updated last year
- Simple Turn-based Game☆412Updated last year
- rexim's personal website☆33Updated 3 months ago
- A game for the raylib Slo-Jam!☆31Updated last year
- Official repository of the Quick Emacs editor☆174Updated 6 months ago
- Support Tsoding☆71Updated 10 months ago
- Command-line flag parsing in C☆246Updated 2 weeks ago
- JIT Compiler for Brainfuck☆175Updated last year
- Byte Pair Encoding☆85Updated 7 months ago
- Very basic lexer for very basic cases☆87Updated 11 months ago
- Just a Website with a Button☆125Updated last month
- Turing Machine in D☆29Updated 5 years ago
- std replacement for C++☆231Updated 11 months ago
- Emacs' compilation-mode-like TUI application☆116Updated 5 years ago
- Rust hello world without stdlib (aarch64 linux)☆50Updated last month
- Tic-Tac-Toe in Fortran with Raylib☆60Updated 2 years ago