Alternatives and similar repositories for prolog-dry:

Users that are interested in prolog-dry are comparing it to the libraries listed below

• bmsherman / blog
  ☆41Updated 10 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• mthom / scryer-shen
  ☆44Updated 2 months ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• SOSML / SOSML
  The Online Interpreter for Standard ML, written in TypeScript.
  ☆177Updated last year
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆153Updated last week
• serras / hinc
  Haskell In New Clothes
  ☆111Updated 4 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆120Updated 11 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆94Updated 8 months ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 5 months ago
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆188Updated 4 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆196Updated last year
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆264Updated 3 months ago
• cell-lang / compiler
  Cell compiler
  ☆115Updated last year
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆26Updated 2 weeks ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆145Updated 2 years ago
• stchang / macrotypes
  ☆136Updated 2 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆117Updated last week
• pSpaces / Programming-with-Spaces
  Getting started, manuals and tutorials
  ☆47Updated last year
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆146Updated last year
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆75Updated last year
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆90Updated 2 years ago
• Dyalog / MiServer
  MiServer- an APL-based web server - requires Dyalog APL available from http://www.dyalog.com
  ☆48Updated last week