Alternatives and similar repositories for DS-PhPL:

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

• shayan-najd / QFeldspar
  QFeldspar: a QDSL front-end for MiniFeldspar
  ☆14Updated 9 years ago
• aprolog-lang / aprolog
  αProlog
  ☆17Updated last year
• gallais / agdARGS
  Dealing with Flags and Options
  ☆12Updated 3 years ago
• webyrd / declarative-semantics
  miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…
  ☆14Updated 7 years ago
• amosr / folderol
  machine fusion
  ☆16Updated 6 years ago
• gregr / dKanren
  miniKanren variant with a functional syntax, expressing disjunction via pattern matching
  ☆16Updated 5 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 6 years ago
• wilcoxjay / coq-lit
  Literate coq blog posts
  ☆17Updated 9 years ago
• calebegg / proof-pad-classic
  An IDE for ACL2
  ☆21Updated 4 years ago
• arthuraa / poleiro
  A blog about Coq
  ☆46Updated 2 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated last week
• osa1 / MANTI
  A pure subset of Prolog, implemented in Haskell
  ☆31Updated 11 years ago
• namin / metamk
  Prolog-Style Meta-Interpreters in miniKanren
  ☆31Updated last month
• garrigue / certint
  A Certified Interpreter for ML with Structural Polymorphism
  ☆43Updated 2 years ago
• clf / celf
  ☆59Updated 5 years ago
• darius / cogen
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13Updated 8 years ago
• lkuper / lvar-examples
  Programming with LVars, by example
  ☆35Updated 9 years ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆21Updated 4 years ago
• softlang / yas
  Yet Another Software Language Repository
  ☆19Updated 2 years ago
• xu-hao / QueryArrow
  A semantically unified SQL and NoSQL query and update system
  ☆17Updated 6 years ago
• theoremprover-museum / LCF77
  The original Edinburgh LCF.
  ☆23Updated 8 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 6 years ago
• math-comp / Coq-Combi
  Algebraic Combinatorics in Coq
  ☆38Updated 2 months ago
• david-christiansen / pudding-old
  A language-integrated proof assistant, for and in Racket
  ☆39Updated 8 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• ilya-klyuchnikov / henk
  Pure Type Systems for Functional Programming
  ☆31Updated 4 years ago
• jozefg / undergraduate-thesis
  A discouraging story.
  ☆15Updated 6 years ago
• rowandavies / sml-cidre
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Updated 11 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• frex-project / metaocaml-frex
  ☆20Updated last year