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
• jkoppel / ecta
  ☆35Updated last year
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆69Updated this week
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• Strumenta / webeditkit
  A framework to build projectional editors running in the browser
  ☆14Updated last year
• JetBrains / arend-lib
  ☆81Updated 2 months ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆16Updated 5 months ago
• idris-hackers / idris-llvm
  Idris LLVM codegen factored out
  ☆80Updated 7 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
• prologbyexample / code
  ☆29Updated 2 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
  ☆43Updated 2 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆143Updated last week
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 2 months ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆42Updated this week
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 6 months ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 3 years ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆86Updated this week
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆60Updated 2 months ago
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆33Updated 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
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆31Updated 2 weeks ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated last year
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• markusvoelter / mpsintrocourse
  ☆44Updated last year
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆62Updated 2 months ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆59Updated 5 months ago