ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.
☆24May 11, 2021Updated 5 years ago
Alternatives and similar repositories for shipwright
Users that are interested in shipwright are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A list of academic papers related to Docker containers & Docker Hub☆28Apr 16, 2026Updated 3 months ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 8 years ago
- MODIT: On Multi-Modal Learning of Editing Source Code.☆20Apr 24, 2021Updated 5 years ago
- Python bindings for libsrcml☆18Aug 25, 2025Updated 11 months ago
- Ying Zhang, Ya Xiao, Md Mahir Asef Kabir, Daphne Yao, Na Meng. Example-Based Vulnerability Detection and Repair in Java Code 30th IEEE/AC…☆10Jul 31, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆13Jul 6, 2023Updated 3 years ago
- Official repository for the paper "GN-Transformer: Fusing AST and Source Code information in Graph Networks".☆17May 25, 2025Updated last year
- Mining tool and large-scale datasets of single statement bug fixes in Python☆19Nov 29, 2023Updated 2 years ago
- Automatic Repair Framework with LLMs ❤️ https://arxiv.org/pdf/2409.18952☆22Updated this week
- ☆16Dec 12, 2021Updated 4 years ago
- We introduce FixEval , a dataset for competitive programming bug fixing along with a comprehensive test suite and show the necessity of e…☆26Aug 31, 2022Updated 3 years ago
- Reproduction package of the paper "DeepCVA: Automated Commit-level Vulnerability Assessment with Deep Multi-task Learning" in Automated S…☆21Feb 25, 2023Updated 3 years ago
- DiffSearch is a search engine for code changes. The input is a query that describes a code change and the output is a list of matching co…☆19Feb 9, 2024Updated 2 years ago
- Sequence-to-Sequence Learning for End-to-End Program Repair (IEEE TSE 2019). Open-science repo. http://arxiv.org/pdf/1901.01808☆87Jun 9, 2023Updated 3 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.
- ☆14Jan 7, 2023Updated 3 years ago
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆63Feb 23, 2024Updated 2 years ago
- Mock for Docker!☆17Jun 26, 2017Updated 9 years ago
- ☆23Aug 6, 2020Updated 6 years ago
- ☆17Sep 29, 2014Updated 11 years ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆34Jul 15, 2019Updated 7 years ago
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆16Aug 21, 2021Updated 4 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- ☆16May 20, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An automatic API misuse checker for C programs!☆19Apr 3, 2019Updated 7 years ago
- ☆11Apr 18, 2020Updated 6 years ago
- ☆38Apr 8, 2026Updated 4 months 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 7 months ago
- ☆11May 19, 2022Updated 4 years ago
- Stuff related to scraping the Code Review StackExchange☆11Jan 19, 2023Updated 3 years ago
- This application guides you through the development of a language model that classifies clinical documents according to their medical spe…☆12Aug 12, 2024Updated last year
- Ray tracing on the Ethereum Virtual Machine☆12May 5, 2021Updated 5 years ago
- Static Analysis meets Large Language Models☆55May 6, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Code for the paper "Embedding Java Classes with code2vec: Improvements from Variable Obfuscation" in MSR 2020☆32Mar 24, 2023Updated 3 years ago
- An npm module for parsing Dockerfiles powered by TypeScript.☆50Apr 21, 2026Updated 3 months ago
- ☆11May 10, 2022Updated 4 years ago
- Haskell Dockerfile parser, pretty-printer and EDSL☆41Jul 29, 2026Updated last week
- The nbench benchmark ported to SGX.☆14Aug 4, 2019Updated 7 years ago
- 🔍 Code Search Tools & Experiments☆13Updated this week
- Neural Code Translator provides instructions, datasets, and a deep learning infrastructure (based on seq2seq) that aims at learning code …☆38Apr 14, 2019Updated 7 years ago