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
  ☆147Updated 3 months ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆64Updated last week
• Strumenta / MPSServer
  ☆20Updated last year
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆85Updated this week
• enso-lang / enso
  ☆71Updated 5 years ago
• Strumenta / webeditkit
  A framework to build projectional editors running in the browser
  ☆14Updated last year
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆70Updated last week
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆60Updated 3 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆30Updated 7 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated last month
• nickmain / cchr
  Copy of the CCHR Constraint Handling Rules implementation in C
  ☆20Updated 3 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• prologbyexample / code
  ☆30Updated 2 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆62Updated 6 months ago
• rewriting / tom
  ☆34Updated 4 years ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated 2 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)…
  ☆33Updated last year
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 5 years ago
• cwi-swat / aterms
  The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …
  ☆24Updated 12 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆156Updated last year
• wholeplatform / whole
  Whole Platform Language Workbench
  ☆28Updated last year
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• rupertlssmith / hak_wambook
  Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.
  ☆28Updated 8 years ago
• orc-lang / orc
  Orc programming language implementation
  ☆44Updated 3 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
  ☆45Updated 3 years ago
• flix / book
  The Flix Programming Book
  ☆19Updated last week
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆70Updated 6 months ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated 2 months ago