Alternatives and similar repositories for prolog-dry:

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

• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• bmsherman / blog
  ☆41Updated 10 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆120Updated 12 years ago
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆91Updated 3 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆28Updated 3 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆156Updated 3 weeks ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆97Updated 10 months ago
• mthom / scryer-shen
  ☆46Updated 4 months ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆126Updated 5 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆145Updated 2 years ago
• SOSML / SOSML
  The Online Interpreter for Standard ML, written in TypeScript.
  ☆177Updated last year
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆36Updated last year
• goudreinette / forth
  Forth clone in Haskell
  ☆33Updated 7 years ago
• danlm / QNial7
  The NIAL language environment
  ☆112Updated 2 years ago
• sparist / Om
  The Om programming language.
  ☆172Updated 5 months ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆116Updated last week
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 5 years ago
• mcapodici / badlanguage
  A lisp-looking language with interpreter and compiler to JS
  ☆28Updated 5 years ago
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆26Updated 3 months ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 5 months ago
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆145Updated 2 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year