Alternatives and similar repositories for LGP:

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

• neilgall / KotlinKanren
  Port of SwiftyKanren to Kotlin
  ☆17Updated 4 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 6 years ago
• enso-lang / enso
  ☆71Updated 4 years ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated 3 months ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆14Updated 2 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Updated 4 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆71Updated 9 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated last year
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 5 months ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• daniel-kun / omni
  The Omni Programming Language
  ☆34Updated 7 years ago
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆35Updated 3 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆34Updated 7 years ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• ilya-klyuchnikov / faba
  Fast Bytecode Analysis
  ☆15Updated 9 years ago
• AvailLang / Avail
  The Avail programming language. Includes the virtual machine, standard library, and standard examples.
  ☆55Updated this week
• ceylon / ceylon-model
  DEPRECATED
  ☆12Updated 9 years ago
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆59Updated 7 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆61Updated 9 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• kkrawiec / swim
  Synthesis with Metaheuristics - Genetic Programming in Scala
  ☆15Updated 5 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• catseye / Thue
  Cat's Eye Technologies' distribution of John Colagioia's Thue programming language
  ☆26Updated 9 years ago