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
  ☆149Updated 5 months ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆64Updated last month
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 5 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆59Updated 2 weeks ago
• Strumenta / MPSServer
  ☆21Updated last year
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆115Updated last week
• mtt-lang / mtt-lang
  A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
  ☆46Updated 3 years ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆86Updated this week
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 2 months ago
• nickmain / cchr
  Copy of the CCHR Constraint Handling Rules implementation in C
  ☆21Updated 3 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 3 weeks ago
• standardml / twelf
  The Twelf Programming Language
  ☆145Updated this week
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• prologbyexample / code
  ☆31Updated 2 years ago
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆71Updated this week
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆63Updated 8 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆30Updated 8 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated this week
• CatarinaGamboa / liquidjava
  ☆45Updated 2 weeks ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆63Updated 2 months ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆29Updated 3 weeks ago
• JetBrains / intellij-arend
  Arend plugin for IntelliJ IDEA
  ☆93Updated 8 months ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated 2 years ago
• qfpl / propagator-examples
  ☆38Updated 6 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆38Updated last year
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆41Updated 6 years ago
• Sintrastes / Montague
  A library for non-deterministically parsing natural language expressions into a structured form.
  ☆18Updated 2 years ago
• JetBrains / arend-lib
  ☆83Updated 7 months ago