The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
☆81May 5, 2016Updated 10 years ago
Alternatives and similar repositories for whyline
Users that are interested in whyline are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A programming language and user interface toolkit for creating structured editors.☆20Oct 5, 2024Updated last year
- User Interfaces for Programming Languages: The Compendium☆29Feb 14, 2021Updated 5 years ago
- ☆15Nov 9, 2020Updated 5 years ago
- A short book on teaching in the University of Washington Informatics undergraduate program.☆11Sep 12, 2026Updated 2 weeks ago
- Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge☆11Mar 18, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Alfred workflow for tracking habits with Habitica☆11Jan 1, 2019Updated 7 years ago
- ☆17Jan 16, 2017Updated 9 years ago
- A simple dependently typed language based on the Calculus of Constructions.☆19Jul 31, 2020Updated 6 years ago
- A fast and lightweight emacs.☆14Nov 7, 2015Updated 10 years ago
- A follower to litable☆14Jul 22, 2016Updated 10 years ago
- A tree-walk interpreter and a bytecode virtual machine interpreter written in the Rust Programming Language.☆13Jun 16, 2022Updated 4 years ago
- A Reproducible Benchmark of Recent Java Bugs☆53Aug 19, 2025Updated last year
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆12Updated this week
- An Impractical Stack Language☆14Jun 12, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Lua Rocks for CC☆13Apr 13, 2017Updated 9 years ago
- Dynamic Symbolic Execution of Android Apps☆24Jan 16, 2016Updated 10 years ago
- Gather for the Python Extension☆30Sep 15, 2026Updated last week
- a declarative framework for scaling up your interactive visualizations with... SQL! (and some timesteps)☆27Jan 7, 2023Updated 3 years ago
- ☆10Mar 20, 2020Updated 6 years ago
- A luajit bytecode interpreter written in RPython☆12Jul 21, 2015Updated 11 years ago
- Methods tracing tool for Java apps☆12Dec 11, 2016Updated 9 years ago
- ☆15May 23, 2017Updated 9 years ago
- Git clone of the FVWM CVS repository.☆23Mar 13, 2016Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Simulator of cheap tape player☆12Aug 17, 2020Updated 6 years ago
- Notes from my research for forest-lang☆12Feb 28, 2022Updated 4 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆11Jun 12, 2018Updated 8 years ago
- Supervision Framework - init-system and service-manager; mirror of https://gitlab.com/tokiclover/supervision☆15Mar 18, 2019Updated 7 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Jun 10, 2016Updated 10 years ago
- A prototyping environment that runs an emulated NVMe device☆13Oct 6, 2017Updated 8 years ago
- Nix source☆15Nov 21, 2020Updated 5 years ago
- Literate Computing with Webstrates☆26Oct 6, 2018Updated 7 years ago
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Simple quiz component for solidjs and solid-start.☆11Jul 29, 2026Updated last month
- ☆10Nov 11, 2019Updated 6 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- a concolic testing engine for Java☆106Feb 20, 2018Updated 8 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 9 years ago
- Proof assistant for Typographical Number Theory☆16Dec 15, 2015Updated 10 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago