Alternatives and similar repositories for dsl

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

• jkoppel / ecta
  ☆36Updated last year
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 9 months ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆204Updated this week
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 2 weeks ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆83Updated last month
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆167Updated 8 months ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆115Updated this week
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆111Updated 3 weeks ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 5 years ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• andrejbauer / marshall
  Real number computation software
  ☆126Updated 2 years ago
• Soonad / Whitepaper
  Moonad: a Peer-to-Peer Operating System
  ☆101Updated 5 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 2 weeks ago
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆41Updated 2 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆222Updated last year
• JonathanMEdwards / subtext10
  ☆101Updated 3 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆74Updated 8 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 10 months 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
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated last month
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆174Updated last year
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 4 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago