Alternatives and similar repositories for mps-coderules

Users that are interested in mps-coderules are comparing it to the libraries listed below

• metaborg / spoofax
  Spoofax runtime
  ☆160Updated 9 months ago
• prologbyexample / code
  ☆31Updated 2 years ago
• Strumenta / MPSServer
  ☆21Updated 2 years ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆66Updated last month
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago
• diverse-project / melange
  The Melange Language Workbench
  ☆30Updated 2 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆34Updated 2 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆67Updated 5 months ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆26Updated last year
• rewriting / tom
  ☆34Updated 5 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆75Updated this week
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆121Updated last week
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Updated 2 years ago
• orc-lang / orc
  Orc programming language implementation
  ☆45Updated 4 years ago
• mtt-lang / mtt-lang
  A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
  ☆47Updated 3 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated last year
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆78Updated 2 years ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆30Updated 4 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆149Updated 2 weeks ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆46Updated last year
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆68Updated last month
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last week
• flix / book
  The Flix Programming Book
  ☆21Updated 2 weeks ago
• haslab / Electrum
  A model checker for relational first-order temporal specifications
  ☆29Updated 4 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 11 months ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated this week
• maude-team / MFE
  Maude Formal Environment
  ☆17Updated 6 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated last year