Alternatives and similar repositories for whyline

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

• metaborg / spoofax
  Spoofax runtime
  ☆160Updated 9 months ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆449Updated 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…
  ☆168Updated 3 weeks ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆113Updated 4 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 11 months ago
• hpi-swa / polyglot-live-programming
  Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.
  ☆39Updated 4 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆67Updated 5 months ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated last month
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆116Updated 7 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆84Updated 2 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆165Updated last week
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆80Updated 7 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 3 years ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆58Updated 2 weeks ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 8 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆99Updated 4 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆88Updated 2 years ago
• diverse-project / melange
  The Melange Language Workbench
  ☆30Updated 2 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆54Updated 7 months ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆37Updated last year
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆131Updated 4 years ago
• OmniscientDebugger / LewisOmniscientDebugger
  Bil Lewis' Omniscient Debugger for Java.
  ☆59Updated 6 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆138Updated 2 months ago
• cesquivias / mumbler
  My experimental programming language using Truffle
  ☆113Updated 5 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆37Updated last week
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆44Updated 9 months ago
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆138Updated 7 months ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆30Updated 4 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆94Updated 4 years ago
• stephenfreund / RoadRunner
  ☆75Updated 8 years ago