Alternatives and similar repositories for prolog-for-dummies

Users that are interested in prolog-for-dummies are comparing it to the libraries listed below

• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆28Updated 3 years ago
• Hopson97 / CellularAutomaton
  A collection of varios Cellular automaton programs written in C++using SFML for graphics
  ☆85Updated 6 years ago
• SheafificationOfG / Fibsonicci
  Source code for a video on computing Fibonacci numbers efficiently
  ☆115Updated 5 months ago
• Toaster192 / czech.h
  The czech library for C. Why? Because we could, of course!
  ☆120Updated last month
• Rezve / 8086-Microprocessor-Game-in-Assembly-Language
  This is a game developed with assembly language and tested in emu8086 emulator
  ☆42Updated 2 months ago
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated last year
• tsoding / Noq
  Simple expression transformer that is not Coq.
  ☆259Updated last year
• tsoding / haskell-music
  Source Code from "Making Music with Haskell" video
  ☆137Updated 4 years ago
• brianquinlan / brainfuck-jit
  A simple Brainfuck JIT written as a learning exercise.
  ☆16Updated 5 years ago
• enjeck / num2math
  Complicated math expression generator
  ☆101Updated 10 months ago
• MarioTalevski / game-of-life
  C++ implementation of Conway's Game of Life.
  ☆68Updated 5 years ago
• JD95 / haskell-problem-sets
  A collection of Haskell practice problems
  ☆18Updated 7 years ago
• Sheinxy / Advent2022
  Advent Of Code 2022
  ☆26Updated 2 years ago
• tsoding / aoc-2020
  Advent of Code 2020 in 25 Different Languages
  ☆110Updated last year
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆311Updated last week
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆47Updated last year
• ngzhian / ski
  SKI combinators
  ☆54Updated 7 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆136Updated last month
• aeris170 / MARS-Theme-Engine
  It's all coming back into focus!
  ☆89Updated last year
• Jumaruba / LPL-solutions
  Solutions for the book "Language Proof and Logic".
  ☆75Updated 8 months ago
• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆101Updated last year
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆123Updated 3 months ago
• tsoding / profun
  Procedural vs Functional
  ☆78Updated 5 years ago
• JensDerKrueger / lnc
  ☆35Updated 2 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆181Updated 5 years ago
• Nimita311 / incredible-solution
  Solutions to the Incredible Proof Machine http://incredible.pm/
  ☆9Updated 5 years ago
• sunjay / brainfuck
  Brainfuck interpreter companion to the brain programming language
  ☆46Updated 7 years ago
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆183Updated last year
• Phosphorus15 / intellij-prolog
  Prolog plugin for Intellij IDEA
  ☆28Updated 2 years ago
• aarroyoc / scryer-playground
  Web playground to try Scryer Prolog in your browser!
  ☆13Updated last year