amyjko / whyline
The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
☆76Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for whyline
- Polyglot Extensible Compiler Framework for Java☆108Updated 2 years ago
- SOMns: A Newspeak for Concurrency Research☆67Updated last year
- Execute and document benchmarks reproducibly.☆85Updated last week
- GenProg: heuristic, GP-based automatic program repair for C.☆92Updated 3 years ago
- Spoofax runtime☆130Updated 3 months ago
- Responsive, animated figures in JavaScript/HTML canvases☆128Updated 2 weeks ago
- Incremental Program Analysis Framework☆90Updated 3 years ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆145Updated 3 months ago
- The Melange Language Workbench☆28Updated last year
- Datalog that's as easy as ABC.☆55Updated 2 weeks ago
- A next-generation IDE that makes programming more efficient☆96Updated 2 years ago
- ☆19Updated 11 months ago
- Fixing static analysis violations in Java source code using Datalog☆17Updated 2 years ago
- Editor for language composition☆56Updated last year
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- The highly-optimized fork of ANTLR 4 (see README)☆73Updated 8 months ago
- Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.☆38Updated 3 years ago
- Software Language Engineering Body of Knowledge☆46Updated 4 years ago
- Web Native language Workbench with Projectional Web Editor☆67Updated this week
- Grammar Zoo☆84Updated 5 years ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆44Updated 2 years ago
- Programming with JetBrains MPS - Textbook for Beginners☆21Updated 5 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated last month
- A programming language and user interface toolkit for creating structured editors.☆19Updated last month
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated 11 months ago
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆407Updated this week
- a book about declarative language definition☆23Updated 8 years ago
- A Java parser combinator library written with an unmatched feature set.☆125Updated 3 years ago
- a concolic testing engine for Java☆102Updated 6 years ago
- A CSS specification and reasoning engine☆92Updated last year