Tools for experimenting diff "slider" heuristics
☆62Aug 22, 2016Updated 9 years ago
Alternatives and similar repositories for diff-slider-tools
Users that are interested in diff-slider-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:
- Forage is a MW user script that provides an additional editing interface that makes editing easier, by showing the expected properties fo…☆12Feb 8, 2026Updated 3 months ago
- A visualization of the rate of edits to Wikipedia in various languages.☆12Aug 10, 2024Updated last year
- Base library for HoTT in Agda☆39Apr 2, 2019Updated 7 years ago
- Wikibase batch tracker and revertar across multiple tools☆22May 18, 2026Updated last week
- A simple, modern fuzzy finder tool to run examples in a Cargo project.☆14Apr 15, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- tree-sitter grammar/parser for INI files☆33Dec 8, 2025Updated 5 months ago
- An authorization framework for graphql-ruby☆11Apr 25, 2017Updated 9 years ago
- Space Kraken Object Notation - An alternative serialization language☆23Feb 14, 2017Updated 9 years ago
- Statistics for opening_hours in OSM.☆12Aug 7, 2020Updated 5 years ago
- Awesome scala compiler guides/papers/videos/talks☆21Sep 21, 2015Updated 10 years ago
- Simple printing with Text☆10Jan 3, 2017Updated 9 years ago
- ☆12Jul 15, 2024Updated last year
- Make PartialFunction and extractors composable☆22Aug 19, 2024Updated last year
- ☆13Nov 30, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- O-3PO - Open-source Open-access Overlay Publishing Option☆10Apr 23, 2026Updated last month
- Material for the course on Programming Languages and Types at University of Marburg☆15Feb 6, 2012Updated 14 years ago
- Run the travis encrypt tool in your browser☆13Apr 20, 2018Updated 8 years ago
- ☆12Jul 8, 2019Updated 6 years ago
- being the notes and materials for CS410 in the 2013/14 academic session☆30May 27, 2014Updated 12 years ago
- ☆14Aug 24, 2021Updated 4 years ago
- Adding links to full text in Wikipedia references☆37Jun 16, 2025Updated 11 months ago
- CMOD Wikidata App built on Django Framework for editing Wikidata with existing GeneWIki bot code☆12Feb 3, 2017Updated 9 years ago
- An experimental Agda kernel for Jupyter☆25Mar 9, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Generate scala sources for sbt 0.10☆30Jul 10, 2015Updated 10 years ago
- Attribute proc-macro to delegate method to a field☆29Sep 17, 2023Updated 2 years ago
- ☆33Mar 12, 2017Updated 9 years ago
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆40Oct 21, 2025Updated 7 months ago
- Updates Wikidata entries using metadata from github☆46May 21, 2026Updated last week
- Experiment about a semantic-based diff tool for Java language.☆12Mar 28, 2015Updated 11 years ago
- A python library to deal with scientific papers.☆17Apr 2, 2016Updated 10 years ago
- GitHub's month-long game jam November 2016☆10May 11, 2026Updated 2 weeks ago
- a capability-based system☆40May 22, 2018Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Github mirror of MediaWiki extension WikibaseQualityConstraints - our actual code is hosted with Gerrit (please see https://www.mediawiki…☆14Updated this week
- CAS support for django-allauth.☆15Feb 8, 2022Updated 4 years ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 7 years ago
- A dumb tool to mirror changes in a directory between hosts☆13Mar 1, 2017Updated 9 years ago
- Generate Wikidata property statistics dashboards, to be used by Wikiprojects.☆13Updated this week
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆11Jul 19, 2023Updated 2 years ago
- A statistics extension for Google Refine.☆26Jan 25, 2013Updated 13 years ago