'dif' is a Linux preprocessing front end to gvimdiff/meld/kompare
☆27Nov 4, 2022Updated 3 years ago
Alternatives and similar repositories for dif
Users that are interested in dif are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics☆19Sep 13, 2023Updated 3 years ago
- ☆10May 27, 2026Updated 5 months ago
- File differences/patches.☆17Apr 9, 2026Updated 6 months ago
- Maintenance scripts and several MapLibre map styles: An "England and Wales rural pedestrian" focused one SVWD01 based on SVE01 schema; ex…☆12Updated this week
- ☆17Jun 12, 2024Updated 2 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.
- Generate conversions to/from VHDL types and std_logic_vector. Generate python-based tests.☆12Jul 7, 2026Updated 3 months ago
- 🌿 A data acquisition framework in Python and Verilog☆48Updated this week
- Extract opening hours tags from a camera image☆11Apr 25, 2021Updated 5 years ago
- Fork of http://code.google.com/p/mapnik-utils/ using git-svn☆14Sep 8, 2010Updated 16 years ago
- Generated files from ANTLR4 for Verilog parsing in Python☆12Jul 12, 2022Updated 4 years ago
- A static website with intersphinx entries rendered via tables☆18Sep 8, 2026Updated last month
- `ecslog` CLI to pretty-print and filter log files in ecs-logging format☆14Feb 10, 2022Updated 4 years ago
- Constrained RAndom Verification Enviroment (CRAVE)☆20Aug 26, 2026Updated 2 months ago
- Include in your web projects for dev-time auto reloading of web browser when any change is detected in content.☆15Aug 20, 2023Updated 3 years ago
- 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.
- Doppler effect on WaveForms☆17Sep 1, 2025Updated last year
- ☆21Jun 12, 2024Updated 2 years ago
- ☆16Apr 24, 2024Updated 2 years ago
- ☆29Updated this week
- Enhanced checks for WP login functions to prevent issues☆10Jan 31, 2023Updated 3 years ago
- Monitor an Arris cable modem bandwidth usage from its status page.☆11Feb 23, 2026Updated 8 months ago
- vm -- Manage KVM/QEMU virtual machines☆13Oct 14, 2019Updated 7 years ago
- ☆12Apr 22, 2026Updated 6 months ago
- CPython that can be installed using pip☆17May 1, 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.
- UVM verification kits which uses YASA as simulation script☆19Dec 10, 2019Updated 6 years ago
- A Drupal module to combine thousands of Nodes to node clusters based on their geographic coordinates☆16Apr 25, 2011Updated 15 years ago
- PoC HTTP proxy for scale-to-zero apps via the Fly machines API☆16Nov 8, 2021Updated 4 years ago
- GitHub Action for the Packer CLI☆13Updated this week
- 👥 A website for crowd-sourcing structured election candidate data☆21Oct 6, 2026Updated 3 weeks ago
- This package allows you to allow users with an e-mail address ending in specific domain names to login using an e-mail instead of using a…☆12Updated this week
- Isometric 3D map made of OpenStreetMap data, initially created by Aleš Janda☆19Feb 11, 2013Updated 13 years ago
- PHP Packet Capture Extension☆11Oct 29, 2020Updated 6 years ago
- Vagrant Environment for creating custom Debian Live ISO images☆13Sep 12, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Get the latest version of various HashiCorp packages.☆12May 27, 2020Updated 6 years ago
- Yet Another Climbing Guide☆14Updated this week
- Flexible Calendar for Laravel 5☆11Jun 24, 2016Updated 10 years ago
- Attendance Monitoring System using QR Code build in Laravel and MySQL☆11Oct 25, 2025Updated last year
- COORDS - Chunk-Organized OSM Render-Data Storage☆21Feb 22, 2016Updated 10 years ago
- A simple BOOTP server to support and simplify UEFI application development☆14Oct 24, 2016Updated 10 years ago
- 🔱 Yet another ARP posioning tool☆13Jan 2, 2018Updated 8 years ago