A simple and easy-to-use immediate-mode gui library

New version of the calculus toolbox

A Clone-Based Approach for Recommending Modification on Pasted Code

A project for computing differences of multiple clone instances.

Evosuite++: an enhancement for Evosuite framework supporting new features like optimal object construction and gradient recovering

Analyze execution trace to find regression bug

A feedback-based debugger for interactively recommending suspicious step in buggy program execution.

DeepVisualInsight (DVI) is a time-travelling visualization solution for how the classification boundaries of a learned model is trained in two-dimensional space.

A first-order logic proof mode in Coq

Performance comparison for kevm with other evm implementations