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 9 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 3 months ago
• stchang / macrotypes
  ☆137Updated 2 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago
• jkoppel / ecta
  ☆35Updated last year
• smucclaw / baby-l4
  A miniature version of the l4 language
  ☆10Updated 9 months ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 3 months ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆31Updated 6 months ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆120Updated 2 months ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆75Updated last week
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated last week
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• JonathanMEdwards / subtext10
  ☆100Updated 3 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆70Updated 8 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆168Updated last week
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆31Updated 2 weeks ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆222Updated last year
• qfpl / propagator-examples
  ☆38Updated 5 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆42Updated 10 months ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆58Updated last year
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• nadia-polikarpova / synquid
  ☆127Updated 3 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆128Updated 3 months ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆140Updated last month
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆130Updated last week