Alternatives and similar repositories for mps-coderules

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

• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• Strumenta / MPSServer
  ☆20Updated last year
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆69Updated this week
• enso-lang / enso
  ☆71Updated 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 …
  ☆23Updated 11 years ago
• prologbyexample / code
  ☆29Updated 2 years ago
• cwi-swat / rebel
  ☆13Updated 5 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• slibby05 / rice
  an optimizing curry compiler
  ☆14Updated 2 years ago
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆43Updated 3 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆146Updated last month
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆62Updated 2 weeks ago
• ilya-klyuchnikov / faba
  Fast Bytecode Analysis
  ☆15Updated 9 years ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆87Updated this week
• KestrelInstitute / Specware
  Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…
  ☆22Updated 3 years ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆43Updated last month
• flix / book
  The Flix Programming Book
  ☆18Updated this week
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆118Updated this week
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• jkoppel / ecta
  ☆35Updated last year
• Strumenta / webeditkit
  A framework to build projectional editors running in the browser
  ☆14Updated last year
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆31Updated 7 months ago
• orc-lang / orc
  Orc programming language implementation
  ☆44Updated 3 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆38Updated 3 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year