[VL/HCC 2017] TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences
☆12Sep 2, 2017Updated 8 years ago
Alternatives and similar repositories for trace-diff
Users that are interested in trace-diff are comparing it to the libraries listed below
Sorting:
- a declarative framework for scaling up your interactive visualizations with... SQL! (and some timesteps)☆27Jan 7, 2023Updated 3 years ago
- A Web-Based Visualization Tool for Biclustering of Multivariate Time Series☆10Feb 17, 2023Updated 3 years ago
- A demo for the *programatic* reading and writing of user code in Jupyter notebooks 4 code analysis fun☆25Oct 16, 2020Updated 5 years ago
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 2 years ago
- Refazer: Learning Program Transformations from Examples☆30Mar 25, 2018Updated 7 years ago
- ☆10Sep 10, 2025Updated 5 months ago
- --DEPRECATED--. Use other top level repository under IntellectualHeaven.☆42Jan 30, 2015Updated 11 years ago
- A graphical EDA tool☆14Jan 9, 2023Updated 3 years ago
- A grunt task which takes a html file, finds all the css, js links and images, and outputs a version with all the css, js and images (Base…☆12Jan 23, 2025Updated last year
- HarmTrace Base: Parsing and unambiguously representing musical chords☆11Oct 21, 2022Updated 3 years ago
- Index and Search Your Private PDF Collection☆18Jan 16, 2016Updated 10 years ago
- 基于论文《Do Industries Explain Momentum》对行业动量策略在A股市场的有效性进行探究☆11Jul 19, 2019Updated 6 years ago
- Insert Proper Minus Signs☆17Jan 16, 2020Updated 6 years ago
- Windows Server 2K3 NT 5☆12Apr 17, 2021Updated 4 years ago
- Control your terminal windows in iTerm with Ruby -- great for automation scripting!☆26Oct 1, 2014Updated 11 years ago
- Alfred workflow for tracking habits with Habitica☆11Jan 1, 2019Updated 7 years ago
- Extends jQuery UI Draggable to add Multi Element Drag and Live functionality☆30Dec 13, 2016Updated 9 years ago
- 股票交易提醒，当股价到达设定值时通过微信告诉用户☆11Oct 16, 2020Updated 5 years ago
- synchronous git collaboration tool☆10Dec 7, 2022Updated 3 years ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 2 years ago
- My WIP bin, various interesting open-source work in progress☆11Aug 2, 2021Updated 4 years ago
- CI for documentation. Testing if documentation is runable.☆11Mar 4, 2023Updated 2 years ago
- Extract links from Wikipedia pages to create a cross-document coreference dataset (multilingual support)☆11Apr 13, 2023Updated 2 years ago
- VS extension that adds some handy features to the DGML editor☆20Sep 27, 2025Updated 5 months ago
- A Node.js library for configurable HTTP logging following the W3C Extended Log File Format☆29Aug 28, 2010Updated 15 years ago
- ☆11Oct 19, 2018Updated 7 years ago
- ☆11May 2, 2019Updated 6 years ago
- Read pgn files, parse positions in the game and save interesting positions for problem-solving sessions.☆11Jan 29, 2021Updated 5 years ago
- Source code for the book Pro D3.js by APress☆10Sep 6, 2019Updated 6 years ago
- An patch porting qwingraph (wingraph written in qt4) to qt5.☆10Aug 21, 2019Updated 6 years ago
- Manycore platform Simulation tool for NoC-based platform at a Cycle-accurate level☆11Feb 22, 2018Updated 8 years ago
- Code for the paper "Hone as You Read: A Practical Type of Interactive Summarization"☆12May 6, 2021Updated 4 years ago
- Text/Image search for similar products☆11Aug 12, 2022Updated 3 years ago
- The virtual console embedded in rCore kernel.☆11May 6, 2025Updated 9 months ago
- Automated Label Placement☆11Dec 2, 2013Updated 12 years ago
- Simulate System76 EC with area8051 emulator☆12Mar 2, 2024Updated last year
- Register-based VM as C library☆10Feb 13, 2016Updated 10 years ago
- ☆11Nov 24, 2020Updated 5 years ago
- tradestation, easylanguage, multicharts☆10Apr 14, 2022Updated 3 years ago