Empirical study of git merge (un)soundness: a minimal counterexample where default git merge silently duplicates a line, motivated by the diff3 paper (Khanna, Kunal & Pierce, FSTTCS 2007).
☆27Aug 11, 2026Updated 2 months ago
Alternatives and similar repositories for git_weirdness
Users that are interested in git_weirdness are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Use s3:// as a Git remote by storing versioned git bundle snapshots in S3☆14Jul 24, 2026Updated 3 months ago
- Excelsior JET Gradle Plugin provides Gradle users with an easy way to compile their applications down to optimized native Windows, OS X, …☆26Jun 13, 2019Updated 7 years ago
- Native builds of popular libraries for Kotlin Multiplatform. Published to Maven Central.☆31Aug 1, 2026Updated 3 months ago
- RSS feed widget for KDE Plasma 6☆11May 17, 2026Updated 5 months ago
- Restler is a library that automatically generates a client for a web service at run time, by analyzing the respective annotated Spring co…☆30Jan 10, 2017Updated 9 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.
- Android app that controls a Tasmota smart plug to limit battery charging without root.☆11Oct 22, 2025Updated last year
- Git Autocomplete is a Far Manager plugin☆28Oct 3, 2017Updated 9 years ago
- Neo's Dotfiles☆16Aug 28, 2026Updated 2 months ago
- Pure CSS Material 3 Design with flexible icon placement.☆14Jun 28, 2026Updated 4 months ago
- otp/supervisor-like interface to supervise distributed processes☆16Nov 8, 2020Updated 6 years ago
- ☆17May 5, 2022Updated 4 years ago
- A library for writing type-safe Durable Objects in Rust.☆15Nov 20, 2022Updated 3 years ago
- Vue Macros + Nuxt 3 + Vue 3 demo☆10Aug 31, 2023Updated 3 years ago
- A Pattern for simple Event-Driven Virtual Stylesheets: 100% CSS plus the expressive power of JavaScript☆11Nov 23, 2017Updated 8 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.
- Basic OAuth2 client/server implementation.☆23Sep 7, 2026Updated 2 months ago
- Notes and schedule for Git Merge 2024.☆21Sep 26, 2024Updated 2 years ago
- Proxy server for ACME DNS-01 challenges☆20Updated this week
- GitHub Stats is all about stars, forks, repos, followers and more☆12Dec 5, 2017Updated 8 years ago
- Some benchmark tests for different programming languages☆13Mar 22, 2024Updated 2 years ago
- OpenWrt with Qualcomm NSS hardware offload for IPQ5018 routers (NAT, PPPoE, VLAN, SQM, ath11k Wi-Fi) on the upstream stmmac ethernet driv…☆29Updated this week
- ☆13Sep 10, 2018Updated 8 years ago
- Poké-Fun with Kotlin and Arrow☆12Oct 27, 2026Updated last week
- The online version of Haskell: the Craft of Functional Programming.☆13Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A "cowsay" clone with Hatsune Miku ASCII art and speech bubbles.☆25Updated this week
- Your fruity companion for transformers☆14May 25, 2022Updated 4 years ago
- ☆18May 29, 2026Updated 5 months ago
- Safety philosopy: example principles for an organization and management☆13Apr 14, 2025Updated last year
- Code for Talk: Funtional Java 8☆12Nov 4, 2017Updated 9 years ago
- A Tetris implementation using React and State Designer.☆15Jan 5, 2023Updated 3 years ago
- 🌳 A Rollup plugin that automatically annotates your module as tree shakeable.☆10Oct 14, 2025Updated last year
- Ring-Buffer Implementation in C optimized for embedded application☆20Oct 23, 2021Updated 5 years ago
- AWS DynamoDB query library.☆14May 1, 2016Updated 10 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.
- GopherJS/React front-end for awsm☆14Aug 1, 2017Updated 9 years ago
- Cl-Series: Richard C. Waters' SERIES package for Common Lisp, fork of https://gitlab.common-lisp.net/rtoy/cl-series☆12Mar 26, 2020Updated 6 years ago
- RFC-compliant Python OAuth implementation. Python 2.5+, PyPy and Python 3.x☆16Mar 26, 2012Updated 14 years ago
- Java Hello World, LLVM Edition☆12Nov 12, 2025Updated 11 months ago
- Inverno Framework modules project☆14Feb 27, 2025Updated last year
- A script that converts images to ascii art☆29Mar 28, 2026Updated 7 months ago
- Cuckoo Hashtable C Library☆39Oct 27, 2026Updated last week