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
• xu-hao / QueryArrow
  A semantically unified SQL and NoSQL query and update system
  ☆18Updated 6 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
• amosr / folderol
  machine fusion
  ☆16Updated 7 years ago
• aprolog-lang / aprolog
  αProlog
  ☆18Updated 2 years ago
• osa1 / MANTI
  A pure subset of Prolog, implemented in Haskell
  ☆31Updated 12 years ago
• softlang / yas
  Yet Another Software Language Repository
  ☆19Updated 3 years ago
• ilya-klyuchnikov / henk
  Pure Type Systems for Functional Programming
  ☆31Updated 4 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated last week
• gregr / dKanren
  miniKanren variant with a functional syntax, expressing disjunction via pattern matching
  ☆17Updated 5 years ago
• namin / metamk
  Prolog-Style Meta-Interpreters in miniKanren
  ☆33Updated 8 months ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 7 years ago
• clf / celf
  ☆62Updated 6 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
• arthuraa / poleiro
  A blog about Coq
  ☆46Updated 3 years ago
• david-christiansen / pudding-old
  A language-integrated proof assistant, for and in Racket
  ☆39Updated 9 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆33Updated 10 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 14 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆86Updated 7 years ago
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆35Updated 4 years ago
• pinocchio / p
  Pinocchio VM
  ☆21Updated 5 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆122Updated 3 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆34Updated 7 years ago
• 8l / asif
  A Self-Interpreter for F-omega
  ☆16Updated 9 years ago
• ParkerK / Tigpiler
  A simple Tiger to MIPS compiler, written in Standard-ML
  ☆23Updated 12 years ago
• frex-project / metaocaml-frex
  ☆21Updated 5 months ago
• coq-ext-lib / coq-compile
  A compiler for Coq
  ☆26Updated 12 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 9 years ago