Alternatives and similar repositories for plog

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

• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆47Updated 11 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 9 years ago
• zydeco-lang / fiddle
  A dynamically-typed CBPV language embedded in Racket
  ☆39Updated last year
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 7 years ago
• meta-logic / lltp
  TPTP linear logic version
  ☆15Updated 9 months ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆35Updated 7 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆19Updated 5 years ago
• stchang / mlish
  ☆22Updated 5 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆48Updated 8 years ago
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆59Updated last year
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆25Updated 3 weeks ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 3 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 years ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 8 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 7 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 5 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆44Updated 10 years ago
• clf / celf
  ☆62Updated 6 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated 3 weeks ago
• lee-naish / Pawns
  Pawns functional/imperative programming language compiler etc
  ☆11Updated 7 months ago
• Sintrastes / Montague
  A library for non-deterministically parsing natural language expressions into a structured form.
  ☆18Updated 2 years ago
• RichardMoot / LinearOne
  LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
  ☆20Updated 5 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 7 months ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆41Updated 5 years ago
• david-christiansen / pudding-old
  A language-integrated proof assistant, for and in Racket
  ☆39Updated 9 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 4 months ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆81Updated 8 years ago
• rla / prolog-markdown
  Markdown parser for SWI-Prolog.
  ☆23Updated 5 years ago