Alternatives and similar repositories for LPL-solutions

Users that are interested in LPL-solutions are comparing it to the libraries listed below

• Anniepoo / prolog-examples
  Some simple examples for new Prolog programmers
  ☆604Updated 2 years ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆380Updated this week
• EasyTheory / EasyTheoryBook
  ☆21Updated 3 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆37Updated last year
• Girjoaba / Eunomia
  An educational tool for analyzing the correctness of Fitch Proofs.
  ☆9Updated last year
• ltworf / relational
  Educational tool for relational algebra
  ☆91Updated last year
• xRuiAlves / FEUP-MNUM-TPs
  Sample implementations of various numerical methods approached in the Curicular Unit "Métodos Numéricos" @MIEIC, FEUP
  ☆10Updated 6 years ago
• dragonwasrobot / learn-prolog-now-exercises
  My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…
  ☆290Updated last year
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆171Updated 6 years ago
• cz717 / bksol
  ☆10Updated 8 years ago
• wo / tpg
  Tree Proof Generator
  ☆169Updated 3 months ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆44Updated last week
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆161Updated last year
• angrykoala / awesome-esolangs
  Curated list of awesome Esoteric languages and resources
  ☆534Updated last year
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated last year
• rocq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆353Updated 5 months ago
• Eryc123Y / Math-for-Computer-Science
  A math resource for CS student
  ☆16Updated 6 months ago
• moocfi / haskell-mooc
  Haskell MOOC University of Helsinki
  ☆375Updated 3 weeks ago
• angrave / CS341-Lectures-FA22
  ☆8Updated 2 years ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆254Updated 5 months ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆388Updated this week
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated 3 weeks ago
• theoremprover-museum / logic-theorist
  The sources of the first theorem prover.
  ☆60Updated 7 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆182Updated 5 years ago
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 2 years ago
• Anniepoo / swiplwebtut
  A tutorial for the swipl web framework
  ☆114Updated 4 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆45Updated this week
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆29Updated last year
• psibi / how-to-prove
  My Solution to Velleman's book
  ☆256Updated 5 months ago
• Dyalog / ride
  Cross-platform IDE for Dyalog APL
  ☆213Updated last week