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 10 years ago
• lkuper / lvar-examples
  Programming with LVars, by example
  ☆36Updated 10 years ago
• amosr / folderol
  machine fusion
  ☆16Updated 7 years ago
• osa1 / MANTI
  A pure subset of Prolog, implemented in Haskell
  ☆31Updated 12 years ago
• xu-hao / QueryArrow
  A semantically unified SQL and NoSQL query and update system
  ☆18Updated 6 years ago
• gregr / dKanren
  miniKanren variant with a functional syntax, expressing disjunction via pattern matching
  ☆17Updated 5 years ago
• softlang / yas
  Yet Another Software Language Repository
  ☆19Updated 3 years ago
• webyrd / declarative-semantics
  miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…
  ☆15Updated 7 years ago
• gallais / agdARGS
  Dealing with Flags and Options
  ☆13Updated 4 years ago
• aprolog-lang / aprolog
  αProlog
  ☆18Updated 2 years ago
• ilya-klyuchnikov / henk
  Pure Type Systems for Functional Programming
  ☆31Updated 5 years ago
• clf / celf
  ☆62Updated 6 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated last week
• namin / metamk
  Prolog-Style Meta-Interpreters in miniKanren
  ☆33Updated 9 months ago
• david-christiansen / pudding-old
  A language-integrated proof assistant, for and in Racket
  ☆39Updated 9 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 7 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 14 years ago
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆35Updated 4 years ago
• wilcoxjay / coq-lit
  Literate coq blog posts
  ☆17Updated 9 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 9 years ago
• Ahnfelt / AlgorithmWStepByStep
  Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.
  ☆11Updated 11 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆123Updated 3 years ago
• silky / super-reference
  Web-based reference manager, written in Haskell.
  ☆30Updated 9 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆36Updated 7 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆33Updated 10 years ago
• arthuraa / poleiro
  A blog about Coq
  ☆46Updated 3 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 5 years ago
• coq-ext-lib / coq-compile
  A compiler for Coq
  ☆26Updated 12 years ago
• wilbowma / cic-redex
  A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.
  ☆34Updated 8 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 5 years ago