Alternatives and similar repositories for mps-coderules

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

• Strumenta / MPSServer
  ☆20Updated last year
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 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
  ☆44Updated 3 years ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆62Updated last week
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• slibby05 / rice
  an optimizing curry compiler
  ☆14Updated 2 years ago
• Strumenta / webeditkit
  A framework to build projectional editors running in the browser
  ☆14Updated last year
• prologbyexample / code
  ☆29Updated 2 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 …
  ☆23Updated 11 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆59Updated 2 weeks ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆88Updated this week
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆43Updated 3 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆144Updated last month
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆31Updated 7 months ago
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆69Updated this week
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• qfpl / propagator-examples
  ☆38Updated 5 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 2 months ago
• rewriting / tom
  ☆34Updated 4 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆133Updated 3 months ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated last year
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 7 months ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆40Updated 6 years ago
• inrick / Featherweight-Java
  An attempt to implement the typing rules of Featherweight Java using Haskell.
  ☆11Updated 12 years ago
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆33Updated last week
• JetBrains / arend-lib
  ☆81Updated 3 months ago
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆30Updated last year