Alternatives and similar repositories for dsl:

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

• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆103Updated this week
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆79Updated 3 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• stchang / macrotypes
  ☆136Updated 2 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 4 years ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆23Updated 2 months ago
• smucclaw / baby-l4
  A miniature version of the l4 language
  ☆10Updated 7 months ago
• mthom / scryer-shen
  ☆45Updated 3 months ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 6 months ago
• jaked / programmable-matter
  A dynamic data-driven document development environment (DDDDDE)
  ☆81Updated last year
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• JonathanMEdwards / subtext10
  ☆99Updated 2 years ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆30Updated 3 months ago
• jkoppel / ecta
  ☆34Updated 10 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 2 weeks ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆40Updated 2 years ago
• jaredly / unison.rs
  ☆68Updated 2 years ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆91Updated this week
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆35Updated 2 years ago
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆129Updated 2 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆72Updated this week
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆69Updated 7 years ago
• OriRoth / flunct
  A functional fluent API generator
  ☆34Updated 2 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆28Updated 7 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 4 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 4 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year