a proof-of-concept of a diverse double compilation
☆12Feb 10, 2026Updated 4 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:
- ☆14Jan 13, 2021Updated 5 years ago
- ☆20Nov 14, 2024Updated last year
- Solidity Library for parsing and verifying TLS-N proofs.☆17Aug 11, 2017Updated 8 years ago
- Awk-like tool using python☆10Aug 4, 2020Updated 5 years ago
- Evaluation Kit of Joint Recovery of Dense Correspondence and Cosegmentation in Two Images (CVPR 2016)☆12Apr 25, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Investigation into replacing the MES compiler☆35Jun 15, 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 8 years ago
- A syntactically aware search-and-replace tool for Python.☆16Updated this week
- ☆13Jul 23, 2015Updated 10 years ago
- Home of course "Programmable Society" at KTH Royal Institute of Technology☆21Dec 12, 2025Updated 6 months ago
- ☆14Feb 5, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Logic puzzle game based on the lambda calculus☆20Nov 9, 2012Updated 13 years ago
- The LiteBSD ports tree.☆17Jan 21, 2018Updated 8 years ago
- ISC licensed reimplementation of GNU shuf.☆17May 4, 2020Updated 6 years ago
- ☆14May 13, 2026Updated last month
- Tools for looking at the dependencies between standard library modules☆10May 24, 2020Updated 6 years ago
- ☆14Feb 14, 2018Updated 8 years ago
- This is a pure kotlin fork of java-diff-utils with all Java code translated to Kotlin☆17Dec 26, 2025Updated 6 months ago
- The world's worst text editor, if it can even be considered a text editor.☆17May 13, 2021Updated 5 years ago
- ☆17Jan 4, 2022Updated 4 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.
- A template for starting a new Go project with CI and other standard configuration used at Let's Encrypt/ISRG.☆16Jun 4, 2026Updated last month
- GitHub action to install GNU Guix☆38Apr 6, 2025Updated last year
- A new signature format for Nix - for verifiable provenance data and SBOMs.☆58Updated this week
- Python "metamodules"☆14Aug 28, 2017Updated 8 years ago
- Backport of PEP 562☆14May 21, 2021Updated 5 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 6 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
- A collection of utilities for working with compiled Python bytecode.☆27Jul 31, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆10Jun 7, 2019Updated 7 years ago
- 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
- ☆12Jun 23, 2026Updated last week