Replication package for ICSE 2022 submission titled "Automatic Merge Conflict Resolution Tools: The Current State and Barriers to Adoption"
☆12Sep 14, 2021Updated 5 years ago
Alternatives and similar repositories for Automatic-Merge-Conflict-Resolution-Tools
Users that are interested in Automatic-Merge-Conflict-Resolution-Tools 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 graph-based refactoring-aware three-way merging tool for Java programs.☆24Jul 21, 2021Updated 5 years ago
- ☆16Dec 12, 2021Updated 4 years ago
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 3 years ago
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 7 months ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Jul 29, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆13Oct 1, 2026Updated last month
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algor…☆12Jan 10, 2025Updated last year
- ☆14Nov 7, 2025Updated 11 months ago
- Repo for PLAN's verified code generation project☆13Aug 2, 2025Updated last year
- [work-in-progress] Java parser written in Rust☆19May 19, 2022Updated 4 years ago
- 在线图书借阅系统 - 2017 THU OOP课大作业☆14Jul 1, 2018Updated 8 years ago
- ☆15Oct 21, 2020Updated 6 years ago
- Language server protocol implementation for VSCode. This allows implementing language services in JS/TS running on Deno.☆11May 7, 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.
- ☆23Sep 2, 2024Updated 2 years ago
- Personal course notes (in Chinese) for THU CST.☆13Jun 23, 2018Updated 8 years ago
- A tool to connect SMT-based frontends to Lean4.☆21Oct 21, 2026Updated 2 weeks ago
- ☆11Jan 17, 2023Updated 3 years ago
- See http://www.dickgrune.com/Programs/similarity_tester/☆15Dec 2, 2012Updated 13 years ago
- ☆13Nov 7, 2024Updated last year
- Web version of the MiniDecaf compiler.☆13Sep 17, 2020Updated 6 years ago
- Prolog specification of TensorFlow layers☆13Jun 12, 2023Updated 3 years ago
- A LaTeX template for academic posters with Tsinghua University logo☆15Nov 18, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- DyLean, a framework for the symbolic analysis of cryptographic protocols☆24Oct 15, 2026Updated 2 weeks ago
- scrat-swig的nunjucks版本, 提供pagelet支持☆13Mar 5, 2018Updated 8 years ago
- Formal Verification of the Zcash Protocol and Documentation for the Ironwood Pool☆22Oct 22, 2026Updated last week
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- The official repository for our paper "The Neural Data Router: Adaptive Control Flow in Transformers Improves Systematic Generalization".☆34Jun 11, 2025Updated last year
- Just a proof of concept Linux rootkit that reads from syscalls.☆23Jun 22, 2018Updated 8 years ago
- A Haskell probabilistic programming library.☆23May 28, 2026Updated 5 months ago
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- A wrapper for the SDD library written in C.☆13Jun 14, 2021Updated 5 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.
- ☆27Apr 16, 2026Updated 6 months ago
- DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols☆18Jan 1, 2022Updated 4 years ago
- A library for simplifying training with multi gpu setups in the HuggingFace / PyTorch ecosystem.☆16Jun 10, 2026Updated 4 months ago
- ☆22Oct 1, 2022Updated 4 years ago
- JAX + Haiku package for the discrete VAE used for DALL·E.☆11Apr 10, 2021Updated 5 years ago
- 《日常》☆18Sep 18, 2021Updated 5 years ago
- Unbounded cache model for online language modeling with open vocabulary☆11Feb 15, 2019Updated 7 years ago