Alternatives and similar repositories for binnacle-icse2020

Users that are interested in binnacle-icse2020 are comparing it to the libraries listed below

• STAR-RG / shipwright

  View on GitHub
  ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.
  ☆22May 11, 2021Updated 4 years ago
• linncy / icsme2020-docker-study

  View on GitHub
  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
• irvin-s / docker_repair

  View on GitHub
  Finding Fix Recommendations for Dockerfiles
  ☆18Sep 26, 2023Updated 2 years ago
• yangzhangs / docker_related_papers

  View on GitHub
  A list of academic papers related to Docker containers & Docker Hub
  ☆26Oct 30, 2025Updated 3 months ago
• breandan / cstk

  View on GitHub
  🔍 Code Search Tools & Experiments
  ☆12Dec 29, 2025Updated last month
• JetBrains-Research / embeddings-for-trees

  View on GitHub
  Set of PyTorch modules for developing and evaluating different algorithms for embedding trees.
  ☆22Dec 22, 2021Updated 4 years ago
• JetBrains-Research / bumblebee

  View on GitHub
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Aug 16, 2023Updated 2 years ago
• cedricrupb / TSSB3M

  View on GitHub
  Mining tool and large-scale datasets of single statement bug fixes in Python
  ☆19Nov 29, 2023Updated 2 years ago
• mast-group / mineSStuBs

  View on GitHub
  Hosts our tool for mining simple "stupid'' bugs (SStuBs).
  ☆38May 20, 2022Updated 3 years ago
• jordiae / neural-compilers

  View on GitHub
  ☆21Jul 11, 2022Updated 3 years ago
• piantado / enumerateCFG

  View on GitHub
  Code for enumeration from a CFG
  ☆20Sep 25, 2023Updated 2 years ago
• lavoiems / simplicial-embeddings

  View on GitHub
  solo-learn: a library of self-supervised methods for visual representation learning powered by Pytorch Lightning
  ☆23Jan 19, 2026Updated 3 weeks ago
• sola-st / IdBench

  View on GitHub
  A benchmark for evaluating embeddings of identifiers in source code.
  ☆22Aug 23, 2021Updated 4 years ago
• liuqingli / CCLearner

  View on GitHub
  A Deep Learning-Based Clone Detection Approach
  ☆18Jul 27, 2017Updated 8 years ago
• sola-st / SemSeed

  View on GitHub
  ☆24Jun 17, 2021Updated 4 years ago
• bdqnghi / treecaps

  View on GitHub
  [AAAI 2021] - TreeCaps: Tree-based Capsule Network for Source Code Processing
  ☆23Mar 24, 2023Updated 2 years ago
• JetBrains-Research / Lupa

  View on GitHub
  A framework for the large scale analysis of programming language usage.
  ☆30Jun 27, 2023Updated 2 years ago
• ForoughA / neuralMath

  View on GitHub
  Combining Symbolic and Function Evaluation Expressions In Neural Programs
  ☆34Dec 19, 2019Updated 6 years ago
• basedrhys / obfuscated-code2vec

  View on GitHub
  Code for the paper "Embedding Java Classes with code2vec: Improvements from Variable Obfuscation" in MSR 2020
  ☆32Mar 24, 2023Updated 2 years ago
• Hazem-Ben-Khalfallah / test-cherry

  View on GitHub
  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
• mdrafiqulrabin / tnpa-generalizability

  View on GitHub
  IST'21 & SANER'22: Semantic-Preserving Program Transformations
  ☆31Oct 25, 2022Updated 3 years ago
• aravi11 / funcGNN

  View on GitHub
  CFG based program similarity using Graph Neural Networks
  ☆36Mar 21, 2023Updated 2 years ago
• neulab / incremental_tree_edit

  View on GitHub
  Code for "Learning Structural Edits via Incremental Tree Transformations" (ICLR'21)
  ☆41Jun 20, 2021Updated 4 years ago
• ChuanMeng / RLT4Reranking

  View on GitHub
  ☆12Nov 22, 2024Updated last year
• icse20 / RT-CI

  View on GitHub
  ☆11Jul 20, 2021Updated 4 years ago
• sealuzh / msr18-docker-dataset

  View on GitHub
  Structured Information on State and Evolution of Dockerfiles - Online Appendix
  ☆10Mar 16, 2018Updated 7 years ago
• srcML / pylibsrcml

  View on GitHub
  Python bindings for libsrcml
  ☆17Aug 25, 2025Updated 5 months ago
• JetBrains / reading-club

  View on GitHub
  Open paper reading club @ JetBrains
  ☆38Oct 14, 2024Updated last year
• MingWEN-CS / CapGen

  View on GitHub
  ☆14Aug 21, 2020Updated 5 years ago
• TobiReinhart / sparse-tensor

  View on GitHub
  typesafe implementation of tensor algebra in Haskell
  ☆13Feb 27, 2021Updated 4 years ago
• Review4Repair / Review4Repair

  View on GitHub
  ☆10Feb 8, 2021Updated 5 years ago
• Columpio / RInGen

  View on GitHub
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆13Aug 8, 2022Updated 3 years ago
• SERG-Delft / j2graph

  View on GitHub
  ☆10Aug 25, 2020Updated 5 years ago
• vardigroup / lisa

  View on GitHub
  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
• Shrest4647 / awesome-llm-app-ideas

  View on GitHub
  A curative list of app ideas that you can implement using the Large Language Models.
  ☆12Oct 18, 2023Updated 2 years ago
• Lipen / kotlin-satlib

  View on GitHub
  🗿 SAT solver wrappers for Kotlin
  ☆11Mar 2, 2024Updated last year
• tdurieux / docker-parfum

  View on GitHub
  Repair docker-smell automatically
  ☆13May 15, 2024Updated last year
• paralab / SymPyGR

  View on GitHub
  SymPy based framework for optimized code generation for BSSN formulation of Einstein equation for heterogeneous platforms.
  ☆11Aug 18, 2025Updated 5 months ago
• ricardoej / dynamic_bandwidth_manager

  View on GitHub
  Communication is an important component in robotic systems. The application goals such as, finding a victim or teleoperate a robot in an …
  ☆11Aug 29, 2017Updated 8 years ago