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…
  ☆287Updated 2 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆188Updated 6 years ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆101Updated 3 years ago
• alhassy / PrologCheatSheet
  Basics of relational programming with Prolog —PROgramming in LOGic ^_^
  ☆75Updated 5 years ago
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆173Updated 6 years ago
• leuschel / ecce
  Online partial evaluator for pure Prolog programs (with built-ins)
  ☆12Updated 2 weeks 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
• shriram / gradescope-racket
  Infrastructure to autograde Racket code on Gradescope
  ☆17Updated 11 months ago
• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆103Updated 2 years ago
• AFPChalmers15 / AFPcourse
  http://www.cse.chalmers.se/edu/course/afp/
  ☆13Updated 10 years ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆63Updated last week
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆193Updated 2 years ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆24Updated 5 years ago
• UniMath / Schools
  ☆94Updated 9 months ago
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆39Updated 3 years ago
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆33Updated 12 years ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆168Updated 3 weeks ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆75Updated 7 months ago
• acowley / LinearLogic
  A simple development of linear logic in Coq.
  ☆13Updated 10 months ago
• jules-hedges / open-games
  Haskell implementation of open games
  ☆13Updated 9 years ago
• andrejbauer / social-distancing-simulator
  An artificial simulation of social distancing in the time of an epidemic.
  ☆30Updated 5 years ago
• pnwamk / stop2015-redex
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Updated 10 years ago
• proglang / FunctionalProgramming
  Support repository for the functional programming lecture (Haskell)
  ☆17Updated 6 months ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆150Updated 2 months ago
• wenkokke / NLQ
  A framework for natural language syntax and semantics based on type theory.
  ☆13Updated last year
• Anniepoo / swiplwebtut
  A tutorial for the swipl web framework
  ☆114Updated 4 years ago
• jackfirth / point-free
  Collection of forms and higher order functions that assist function composition and definition of functions in a point-free style
  ☆24Updated 7 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• fifth-postulate / julian
  Date and time library for Prolog
  ☆27Updated 4 years ago