Alternatives and similar repositories for whyline:

Users that are interested in whyline are comparing it to the libraries listed below

• hpi-swa / polyglot-live-programming
  Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.
  ☆37Updated 3 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆56Updated 2 months ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• wholeplatform / whole
  Whole Platform Language Workbench
  ☆27Updated 7 months ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆67Updated 2 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated 6 months ago
• metaborg / spoofax
  Spoofax runtime
  ☆133Updated 5 months ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆85Updated this week
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆39Updated 3 weeks ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆31Updated last month
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 2 months ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆412Updated this week
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆67Updated this week
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆33Updated last month
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated 9 months ago
• dsl-course / mps-textbook-beginners
  Programming with JetBrains MPS - Textbook for Beginners
  ☆21Updated 5 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆85Updated last year
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆109Updated 3 years ago
• daniel-kun / omni
  The Omni Programming Language
  ☆34Updated 7 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆125Updated 3 years ago
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆220Updated last year
• cliffclick / aa
  Cliff Click Language Hacking
  ☆277Updated 2 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆132Updated this week
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆77Updated 6 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆69Updated 9 months ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆61Updated 7 months ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆163Updated 12 years ago