Alternatives and similar repositories for DS-PhPL

Users that are interested in DS-PhPL are comparing it to the libraries listed below

• lkuper / lvar-examples
  Programming with LVars, by example
  ☆36Updated 10 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated 3 weeks ago
• aprolog-lang / aprolog
  αProlog
  ☆18Updated 2 years ago
• gallais / agdARGS
  Dealing with Flags and Options
  ☆13Updated 4 years ago
• webyrd / declarative-semantics
  miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…
  ☆15Updated 7 years ago
• shayan-najd / QFeldspar
  QFeldspar: a QDSL front-end for MiniFeldspar
  ☆14Updated 9 years ago
• gregr / dKanren
  miniKanren variant with a functional syntax, expressing disjunction via pattern matching
  ☆17Updated 5 years ago
• amosr / folderol
  machine fusion
  ☆16Updated 6 years ago
• xu-hao / QueryArrow
  A semantically unified SQL and NoSQL query and update system
  ☆18Updated 6 years ago
• namin / metamk
  Prolog-Style Meta-Interpreters in miniKanren
  ☆33Updated 6 months ago
• clf / celf
  ☆62Updated 6 years ago
• osa1 / MANTI
  A pure subset of Prolog, implemented in Haskell
  ☆31Updated 12 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• arthuraa / poleiro
  A blog about Coq
  ☆46Updated 3 years ago
• ilya-klyuchnikov / henk
  Pure Type Systems for Functional Programming
  ☆31Updated 4 years ago
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆35Updated 4 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆122Updated 3 years ago
• softlang / yas
  Yet Another Software Language Repository
  ☆19Updated 3 years ago
• wilcoxjay / coq-lit
  Literate coq blog posts
  ☆17Updated 9 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆50Updated 5 years ago
• david-christiansen / pudding-old
  A language-integrated proof assistant, for and in Racket
  ☆39Updated 9 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆33Updated 10 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 6 years ago
• rootmos / silly-k
  silly-k is an experimental language inspired by K and APL
  ☆15Updated 11 months ago
• darius / cogen
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13Updated 9 years ago
• michaelballantyne / meta-minikanren
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆22Updated 9 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆34Updated 7 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆35Updated 7 months ago