a proof-of-concept of a diverse double compilation
☆13Feb 10, 2026Updated 2 months ago
Alternatives and similar repositories for ddcpoc
Users that are interested in ddcpoc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Jan 13, 2021Updated 5 years ago
- ☆19Nov 14, 2024Updated last year
- Solidity Library for parsing and verifying TLS-N proofs.☆17Aug 11, 2017Updated 8 years ago
- Awk-like tool using python☆11Aug 4, 2020Updated 5 years ago
- Evaluation Kit of Joint Recovery of Dense Correspondence and Cosegmentation in Two Images (CVPR 2016)☆12Apr 25, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Investigation into replacing the MES compiler☆30Mar 25, 2026Updated 2 weeks ago
- An instant messaging software based on Qt. Including C/S, P2P, offline-message, etc. Realize TCP using UDP.☆11Feb 4, 2018Updated 8 years ago
- FCSS (Fully Convolutional Self-Similarity) Descriptor, CVPR'2017, TPAMI'2019☆14Feb 20, 2019Updated 7 years ago
- Code to recreate the field-specific CNN pillars to predict DR progression as outlined in the Nature Digital Medicine paper of 2019☆14Jul 29, 2019Updated 6 years ago
- An attempt to create a informal CSV-like format specification complete with input/output test files for use by library developers.☆14Jun 29, 2018Updated 7 years ago
- A syntactically aware search-and-replace tool for Python.☆15Mar 10, 2026Updated last month
- ☆13Jul 23, 2015Updated 10 years ago
- Home of course "Programmable Society" at KTH Royal Institute of Technology☆21Dec 12, 2025Updated 3 months ago
- Logic puzzle game based on the lambda calculus☆20Nov 9, 2012Updated 13 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.
- ☆14Feb 5, 2024Updated 2 years ago
- The LiteBSD ports tree.☆18Jan 21, 2018Updated 8 years ago
- ISC licensed reimplementation of GNU shuf.☆18May 4, 2020Updated 5 years ago
- ☆14Mar 4, 2026Updated last month
- ☆14Feb 14, 2018Updated 8 years ago
- Tools for looking at the dependencies between standard library modules☆10May 24, 2020Updated 5 years ago
- This is a pure kotlin fork of java-diff-utils with all Java code translated to Kotlin☆16Dec 26, 2025Updated 3 months ago
- The world's worst text editor, if it can even be considered a text editor.☆18May 13, 2021Updated 4 years ago
- ☆17Jan 4, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- GitHub action to install GNU Guix☆38Apr 6, 2025Updated last year
- A new signature format for Nix - for verifiable provenance data and SBOMs.☆51Updated this week
- A template for starting a new Go project with CI and other standard configuration used at Let's Encrypt/ISRG.☆16Aug 5, 2025Updated 8 months ago
- Python "metamodules"☆14Aug 28, 2017Updated 8 years ago
- Backport of PEP 562☆14May 21, 2021Updated 4 years ago
- Fanart.tv is a community driven website providing fanart for TV shows, movies and artists. This agent adds fanart to Plex.☆10Apr 19, 2020Updated 5 years ago
- 🍺 An extremely fast homebrew CLI wrapper with extra features.☆15Dec 29, 2024Updated last year
- Continuous integration for microcontroller code.☆13Nov 27, 2017Updated 8 years ago
- ☆10Jun 7, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A collection of utilities for working with compiled Python bytecode.☆27Jul 31, 2024Updated last year
- Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…☆19Aug 2, 2021Updated 4 years ago
- Quick Mesh Project (http://qmp.cat)☆10Jul 20, 2017Updated 8 years ago
- fully javascript usbtinyisp like adafruit usbtinyisp, mit fabisp or sparkfun tinyavr☆11Feb 3, 2019Updated 7 years ago
- LSP Server powered by libcst for refactoring tasks☆20Dec 11, 2024Updated last year
- A digital spherometer, reading data from digital dial indicator and converting it to radius, displaying on OLED display.☆14Dec 12, 2024Updated last year
- ☆13Mar 27, 2026Updated 2 weeks ago