Alternatives and similar repositories for dsl:

Users that are interested in dsl are comparing it to the libraries listed below

• gregr / dbKanren
  Kanren with databases
  ☆43Updated 5 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated last week
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆62Updated 7 months ago
• jaked / programmable-matter
  A dynamic data-driven document development environment (DDDDDE)
  ☆81Updated last year
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆28Updated 2 months ago
• jkoppel / ecta
  ☆33Updated 9 months ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 4 years ago
• smucclaw / baby-l4
  A miniature version of the l4 language
  ☆10Updated 6 months ago
• stchang / macrotypes
  ☆136Updated 2 years ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆82Updated this week
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆72Updated this week
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆165Updated last month
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆30Updated 2 years ago
• mthom / scryer-shen
  ☆44Updated 2 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆118Updated 3 weeks ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆41Updated 3 weeks ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆106Updated last year
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆78Updated 3 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated last week
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆92Updated last year
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆35Updated 2 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆23Updated 5 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated last year
• spechub / Hets
  The Heterogeneous Tool Set
  ☆57Updated this week
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 3 years ago
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆50Updated 4 years ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆222Updated 11 months ago