Alternatives and similar repositories for prolog-dry

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

• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆189Updated 4 years ago
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆150Updated 2 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆18Updated 6 years ago
• SOSML / SOSML
  The Online Interpreter for Standard ML, written in TypeScript.
  ☆177Updated last year
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆272Updated 11 months ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆123Updated 12 years ago
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆145Updated 2 years ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆219Updated 2 years ago
• cell-lang / compiler
  Cell compiler
  ☆115Updated 2 years ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆124Updated 5 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆159Updated 6 months ago
• sparist / Om
  The Om programming language.
  ☆174Updated 11 months ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆92Updated 6 years ago
• Dyalog / MiServer
  MiServer- an APL-based web server - requires Dyalog APL available from http://www.dyalog.com
  ☆49Updated 3 months ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated last year
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆60Updated 5 years ago
• rupertlssmith / hak_wambook
  Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.
  ☆28Updated 8 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated 2 years ago
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆96Updated 3 years ago
• andreaferretti / factor-tutorial
  From function composition to distributed programming
  ☆66Updated last year
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆104Updated last year
• gregfjohnson / aplette
  This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…
  ☆88Updated 2 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years ago
• mthom / scryer-shen
  ☆56Updated 4 months ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆70Updated 7 months ago
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆28Updated 9 months ago