Alternatives and similar repositories for dsl:

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

• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆30Updated 4 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆79Updated 5 months ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆63Updated 9 months ago
• jkoppel / ecta
  ☆34Updated 11 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 7 months ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 4 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• smucclaw / baby-l4
  A miniature version of the l4 language
  ☆10Updated 8 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated last month
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆120Updated last month
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 4 years ago
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆41Updated 2 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated 2 months ago
• JeffreyBenjaminBrown / hode
  rslt, take five-ish
  ☆150Updated 3 years ago
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆172Updated 11 months ago
• stchang / macrotypes
  ☆136Updated 2 years ago
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆17Updated 5 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated last month
• mthom / scryer-shen
  ☆46Updated 4 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆73Updated last week
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆139Updated last week
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆24Updated 4 months ago
• qfpl / propagator-examples
  ☆38Updated 5 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆166Updated 4 months ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• vmchale / apple
  Apple array system
  ☆66Updated this week