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
• serras / hinc
  Haskell In New Clothes
  ☆111Updated 4 years ago
• Dyalog / MiServer
  MiServer- an APL-based web server - requires Dyalog APL available from http://www.dyalog.com
  ☆49Updated last month
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆126Updated 5 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 2 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• mthom / scryer-shen
  ☆45Updated 3 months ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 10 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆155Updated 2 weeks ago
• racket / datalog
  ☆45Updated 3 months ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 4 months ago
• SOSML / SOSML
  The Online Interpreter for Standard ML, written in TypeScript.
  ☆177Updated last year
• OriRoth / flunct
  A functional fluent API generator
  ☆34Updated 2 years ago
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 5 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 6 months ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 2 years ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• stchang / macrotypes
  ☆136Updated 2 years ago
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆90Updated 3 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆197Updated last year
• 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
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆76Updated 7 months ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 6 years ago
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆188Updated 4 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆40Updated 2 years ago
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆26Updated last month
• sparist / Om
  The Om programming language.
  ☆172Updated 4 months ago