ICSE 2020 Artifact for: Learning from, Understanding, and Supporting DevOps Artifacts for Docker
☆24Dec 8, 2022Updated 3 years ago
Alternatives and similar repositories for binnacle-icse2020
Users that are interested in binnacle-icse2020 are comparing it to the libraries listed below
Sorting:
- ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.☆23May 11, 2021Updated 4 years ago
- Artifact repository for the paper "A Large-scale Data Set and an Empirical Study of Docker Images Hosted on Docker Hub." This reproducibl…☆13Oct 9, 2020Updated 5 years ago
- Finding Fix Recommendations for Dockerfiles☆18Sep 26, 2023Updated 2 years ago
- A list of academic papers related to Docker containers & Docker Hub☆26Oct 30, 2025Updated 4 months ago
- 🔍 Code Search Tools & Experiments☆12Mar 1, 2026Updated last week
- Mining tool and large-scale datasets of single statement bug fixes in Python☆19Nov 29, 2023Updated 2 years ago
- Set of PyTorch modules for developing and evaluating different algorithms for embedding trees.☆22Dec 22, 2021Updated 4 years ago
- An IntelliJ-based IDE plugin for Python AST transformations☆18Aug 16, 2023Updated 2 years ago
- Hosts our tool for mining simple "stupid'' bugs (SStuBs).☆38May 20, 2022Updated 3 years ago
- ☆21Jul 11, 2022Updated 3 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- solo-learn: a library of self-supervised methods for visual representation learning powered by Pytorch Lightning☆23Jan 19, 2026Updated last month
- A benchmark for evaluating embeddings of identifiers in source code.☆22Aug 23, 2021Updated 4 years ago
- A Deep Learning-Based Clone Detection Approach☆18Jul 27, 2017Updated 8 years ago
- ☆24Jun 17, 2021Updated 4 years ago
- [AAAI 2021] - TreeCaps: Tree-based Capsule Network for Source Code Processing☆23Mar 24, 2023Updated 2 years ago
- A framework for the large scale analysis of programming language usage.☆30Jun 27, 2023Updated 2 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Dec 19, 2019Updated 6 years ago
- Code for the paper "Embedding Java Classes with code2vec: Improvements from Variable Obfuscation" in MSR 2020☆32Mar 24, 2023Updated 2 years ago
- An Intellij Plugin that generates unit test methods with meaningful names based in described behaviours with @should tags in methods ja …☆10Dec 14, 2025Updated 2 months ago
- IST'21 & SANER'22: Semantic-Preserving Program Transformations☆31Oct 25, 2022Updated 3 years ago
- Code for "Learning Structural Edits via Incremental Tree Transformations" (ICLR'21)☆41Jun 20, 2021Updated 4 years ago
- CFG based program similarity using Graph Neural Networks☆36Mar 21, 2023Updated 2 years ago
- ☆12Nov 22, 2024Updated last year
- Python bindings for libsrcml☆17Aug 25, 2025Updated 6 months ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- ☆11Jul 20, 2021Updated 4 years ago
- Open paper reading club @ JetBrains☆38Oct 14, 2024Updated last year
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated 9 months ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- Stuff related to scraping the Code Review StackExchange☆12Jan 19, 2023Updated 3 years ago
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Jul 8, 2022Updated 3 years ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated last year
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- A Tool for Intersecting Context-Free Grammars☆10Dec 19, 2017Updated 8 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago