Alternatives and similar repositories for mps-coderules:

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

• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• Strumenta / MPSServer
  ☆20Updated last year
• 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
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆16Updated 2 months ago
• prologbyexample / code
  ☆28Updated last year
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆28Updated 7 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
• harp-lab / slog-lang1
  Slog 1.0
  ☆38Updated 8 months ago
• orc-lang / orc
  Orc programming language implementation
  ☆43Updated 3 years ago
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆59Updated 7 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 4 months ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆40Updated last month
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 4 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated 10 months ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆55Updated 3 weeks ago
• jkoppel / ecta
  ☆34Updated 10 months ago
• metaborg / spoofax
  Spoofax runtime
  ☆137Updated 2 weeks ago
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆26Updated last month
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆61Updated this week
• nickmain / cchr
  Copy of the CCHR Constraint Handling Rules implementation in C
  ☆20Updated 3 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆40Updated 5 years ago
• Sintrastes / Montague
  A library for non-deterministically parsing natural language expressions into a structured form.
  ☆17Updated 2 years ago
• JetBrains / arend-lib
  ☆80Updated this week
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆41Updated 3 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• vpatryshev / Categories
  Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories
  ☆25Updated this week
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆29Updated 9 months ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 2 years ago