The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
☆80May 5, 2016Updated 9 years ago
Alternatives and similar repositories for whyline
Users that are interested in whyline are comparing it to the libraries listed below
Sorting:
- Interpreter for inference rules☆13May 5, 2018Updated 7 years ago
- Alfred workflow for tracking habits with Habitica☆11Jan 1, 2019Updated 7 years ago
- [VL/HCC 2017] TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences☆12Sep 2, 2017Updated 8 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Sep 11, 2024Updated last year
- Actionable memory analysis for JVM languages☆17Dec 29, 2017Updated 8 years ago
- Bil Lewis' Omniscient Debugger for Java.☆59Jun 22, 2019Updated 6 years ago
- ☆17Jan 16, 2017Updated 9 years ago
- Project provides a set of tools that will ease the development process for code written in CMake.☆18Mar 25, 2022Updated 3 years ago
- literate programming meets unison☆28Updated this week
- a declarative framework for scaling up your interactive visualizations with... SQL! (and some timesteps)☆27Jan 7, 2023Updated 3 years ago
- Watson Assistant OCaml SDK☆21Dec 7, 2018Updated 7 years ago
- Dynamic Symbolic Execution of Android Apps☆24Jan 16, 2016Updated 10 years ago
- Mirage OS bindings for ESP32☆28Oct 3, 2019Updated 6 years ago
- Literate Computing with Webstrates☆26Oct 6, 2018Updated 7 years ago
- Heatmap and flamegraph sampling profiler for Erlang☆26Feb 28, 2021Updated 5 years ago
- Basic Gradle configuration and example drivers to get started with WALA☆29Dec 2, 2024Updated last year
- TodoMVC for JavaFX. The same application with different frameworks and design patterns☆30Nov 6, 2016Updated 9 years ago
- For when you are stuck in Java 8 but want to use new language features and dependencies☆29Aug 23, 2022Updated 3 years ago
- Thread Dump Analyzer☆34Mar 27, 2024Updated last year
- These source codes are the solutions to my University course problems.☆15Dec 25, 2018Updated 7 years ago
- ⚡️ Actions and Reducer Utilities for NGRX☆10Oct 17, 2019Updated 6 years ago
- ☆11Apr 28, 2023Updated 2 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆38Jun 3, 2022Updated 3 years ago
- Static checker for Java☆87Jan 16, 2025Updated last year
- OFFICIAL & ORIGINAL ASTRALIXI OS REPOSITRY☆19Nov 29, 2025Updated 3 months ago
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago
- Simple quiz component for solidjs and solid-start.☆11Sep 8, 2023Updated 2 years ago
- Parses the PARTOUT(4.0)RESOURCE file format used by Maxis/Cinematronics in Full Tilt Pinball and displays the contents.☆13Nov 18, 2022Updated 3 years ago
- ☆11Feb 18, 2019Updated 7 years ago
- GA Grid (Beta) is a distributive in memory Genetic Algorithm (GA) component for Apache Ignite. A GA is a method of solving complex optimi…☆11Nov 14, 2017Updated 8 years ago
- A reinforcement learning package implemented in Torch☆11Jan 24, 2016Updated 10 years ago
- Modified Forge 1.0.6 for Minecraft Beta 1.7.3☆13Jan 1, 2022Updated 4 years ago
- General purpose pre-commit hooks used by BestDoctor for Python projects.☆12Jan 18, 2022Updated 4 years ago
- Image smoothing algorithm.☆10Feb 28, 2020Updated 6 years ago
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆47May 29, 2022Updated 3 years ago
- HarmTrace Base: Parsing and unambiguously representing musical chords☆11Oct 21, 2022Updated 3 years ago
- Functional testing Java-EE applications☆10Sep 26, 2017Updated 8 years ago
- The motion model software development kit for the LandSAR search and rescue software platform☆18Feb 3, 2026Updated last month