Applies diffs based on context, not line numbers. Useful for AI-generated code.
☆19Jun 2, 2026Updated last month
Alternatives and similar repositories for mpatch
Users that are interested in mpatch are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- An simple editor in pure Python-Qt binding for both PyQt5 and PySide2 to solve the problem that PySide2 lacks QScintilla bindings. This …☆12Feb 11, 2021Updated 5 years ago
- Tkinter Console Widget Class☆11Dec 25, 2017Updated 8 years ago
- A fault-aware model checker for message passing systems☆16Aug 20, 2014Updated 11 years ago
- Toy Markdown Editor With Python & Tkinter☆12Jan 14, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Python binding for NuSMV.☆11Nov 29, 2017Updated 8 years ago
- A python layer to interface with several SMTLIBv2 enabled SMT solvers☆16Apr 22, 2015Updated 11 years ago
- A meta-repository for the LooPy interactive program synthesizer☆18Mar 28, 2022Updated 4 years ago
- ☆19Mar 22, 2026Updated 3 months ago
- ☆13Jun 5, 2025Updated last year
- A "Hello World" JupyterLab extension using Vue.js☆15Jul 21, 2019Updated 6 years ago
- A Toolkit for Converting Flowcharts to Pseudocode☆13Feb 12, 2023Updated 3 years ago
- ☆18Jul 12, 2026Updated last week
- This repo contains the data and codes for the paper submitted to ACM TKDD, titled "A Compact Vulnerability Knowledge Graph for Risk Asses…☆18Mar 8, 2023Updated 3 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.
- ☆19Jan 31, 2014Updated 12 years ago
- Chainer and PyTorch implementation of GAN with gradient reversal layer☆10Mar 19, 2022Updated 4 years ago
- TChecker is an open-source verification tool for timed automata☆28Dec 9, 2025Updated 7 months ago
- ☆13Jun 2, 2026Updated last month
- a model extractor, to automatically extract Spin verification models from multi-threaded C code☆28Jan 3, 2025Updated last year
- Language bindings for Maude☆26Nov 2, 2025Updated 8 months ago
- Source code graph RAG (GraphRAG) for C/C++ development based on clang/clangd☆57Apr 25, 2026Updated 2 months ago
- ☆35May 16, 2025Updated last year
- PyNuSMV is a Python framework for experimenting and prototyping BDD-based model checking algorithms based on NuSMV.☆26Nov 1, 2018Updated 7 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.
- A repository of useful custom cppcheck rules☆26May 5, 2020Updated 6 years ago
- Parser for SysML 2.0 into Python☆30Mar 17, 2025Updated last year
- ☆27Oct 29, 2023Updated 2 years ago
- Data Flow Analysis and Static Single Assignment☆29Apr 12, 2018Updated 8 years ago
- CleanVul: Automatic Function-Level Vulnerability Detection in Code Commits Using LLM Heuristics☆23Mar 25, 2026Updated 3 months ago
- Awesome-LLM-Benchmark: List of benchmarks for Large-Language Models☆12Updated this week
- nonebot2 21点插件☆11Mar 11, 2022Updated 4 years ago
- "Run AI coding agents (Claude, Mistral, other providers coming soon) in parallel inside hardened, isolated containers with git worktree s…☆26Jul 3, 2026Updated 2 weeks ago
- A Drawable which can make a bitmap has rounded corner and showed by centerCrop, fitXY or center, without overriding ImageView☆10Jun 3, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- OpenTelemetry Node 18+ native fetch automatic instrumentation package☆19Jul 30, 2024Updated last year
- The State of War (2001) Map editor.☆15Mar 29, 2022Updated 4 years ago
- A metaprogramming-based (reflection and instrumentation) library to generate UML class and sequence diagrams from Java code.☆34Feb 9, 2025Updated last year
- A tool for deductive verification of Python programs based on Dafny☆34Jul 18, 2021Updated 5 years ago
- From "A comprehensive evaluation of SZZ Variants through a developer-informed oracle" (pdf open-access at https://doi.org/10.1016/j.jss.2…☆21Aug 25, 2023Updated 2 years ago
- A mermaid wrapper built in python☆35Mar 18, 2023Updated 3 years ago
- A Python tool kit for interacting with the locally hosted Zotero database.☆35Apr 1, 2021Updated 5 years ago