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
- ☆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☆11Aug 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Investigation into replacing the MES compiler☆30Updated this week
- 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.☆15Jun 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 4 months ago
- ☆14Feb 5, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Logic puzzle game based on the lambda calculus☆20Nov 9, 2012Updated 13 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 4 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
- 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.
- GitHub action to install GNU Guix☆38Apr 6, 2025Updated last year
- A new signature format for Nix - for verifiable provenance data and SBOMs.☆53Apr 16, 2026Updated 2 weeks ago
- 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 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
- 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.
- ☆10Jun 7, 2019Updated 6 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
- ☆13Mar 27, 2026Updated last month