Alternatives and similar repositories for lpnes

Users that are interested in lpnes are comparing it to the libraries listed below

• 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…
  ☆289Updated 2 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆186Updated 5 years ago
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆192Updated 2 years ago
• alhassy / PrologCheatSheet
  Basics of relational programming with Prolog —PROgramming in LOGic ^_^
  ☆74Updated 5 years ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆101Updated 3 years ago
• AFPChalmers15 / AFPcourse
  http://www.cse.chalmers.se/edu/course/afp/
  ☆13Updated 10 years ago
• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆103Updated 2 years ago
• fifth-postulate / julian
  Date and time library for Prolog
  ☆27Updated 4 years ago
• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 5 years ago
• Anniepoo / swiplwebtut
  A tutorial for the swipl web framework
  ☆114Updated 4 years ago
• singleheart / programming-in-haskell
  My solutions for all exercises in "Programming in Haskell" 2nd ed.
  ☆64Updated 11 months ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 6 years ago
• mstksg / advent-of-code-2019
  Advent of Code 2019 Solutions (Spoilers!)
  ☆66Updated last year
• Vincibean / real-world-haskell
  My solutions to the exercises contained in the book "Real World Haskell"
  ☆17Updated 6 years ago
• SWI-Prolog / packages-http
  The SWI-Prolog HTTP server and client libraries
  ☆27Updated last week
• mndrix / dcg_util
  DCG utility predicates for Prolog
  ☆10Updated 10 years ago
• Mzk-Levi / texts
  ☆162Updated 10 years ago
• amedama41 / okasaki
  Solutions for Okasaki's "Purely functional data structures" book
  ☆22Updated 8 years ago
• dylnb / esslli2015-monads
  materials for ESSLLI 2015 course: Monads and Natural Language
  ☆26Updated 10 years ago
• shriram / gradescope-racket
  Infrastructure to autograde Racket code on Gradescope
  ☆17Updated 10 months ago
• haskell / happy
  The Happy parser generator for Haskell
  ☆313Updated 3 months ago
• Anniepoo / prolog-examples
  Some simple examples for new Prolog programmers
  ☆617Updated 3 years ago
• stchang / graph
  Generic graph library and algorithms for Racket.
  ☆59Updated 2 years ago
• nadia-polikarpova / synquid
  ☆144Updated 3 years ago
• ekmett / guanxi
  Relational programming in Haskell. Mostly developed on twitch.
  ☆266Updated last year
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆173Updated 6 years ago
• mvaldesdeleon / haskell-book
  Exercises and code from "Haskell Programming from First Principles"
  ☆94Updated 4 years ago
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆65Updated 8 years ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆145Updated 3 weeks ago
• bruderj15 / Hasmtlib
  A monad for interfacing with external SMT solvers
  ☆15Updated last year