Alternatives and similar repositories for whyline:

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

• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆58Updated 5 months ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆93Updated 3 years ago
• hpi-swa / polyglot-live-programming
  Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.
  ☆37Updated 4 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆156Updated 5 months ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated last month
• metaborg / spoofax
  Spoofax runtime
  ☆142Updated 2 months ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆110Updated 3 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 3 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated 9 months ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆40Updated 3 weeks ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 3 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆133Updated this week
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆151Updated last month
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆124Updated 3 years ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆62Updated last month
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• ksen007 / janala2
  a concolic testing engine for Java
  ☆104Updated 7 years ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆82Updated 4 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated last month
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆79Updated 6 years ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆40Updated 2 weeks ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆95Updated 2 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated this week
• JetBrains / jsitter
  tree-sitter API for JVM
  ☆66Updated last year
• lyxell / logifix
  Fixing static analysis violations in Java source code using Datalog
  ☆17Updated 2 years ago
• b9org / b9
  An educational JS virtual machine based on Eclipse OMR
  ☆45Updated 2 years ago