Reproducing BugsInPy: Benchmarking Bugs in Python Projects
☆14Sep 4, 2023Updated 2 years ago
Alternatives and similar repositories for BugsInPy
Users that are interested in BugsInPy are comparing it to the libraries listed below
Sorting:
- ☆22Oct 31, 2025Updated 4 months ago
- proyectos de IA para tutoriales☆14Sep 7, 2025Updated 6 months ago
- FANC is a tool for the proof transfer of incomplete verification☆12Mar 20, 2022Updated 4 years ago
- Measure Linux kernel's modified condition/decision coverage (MC/DC)☆12Feb 3, 2026Updated last month
- This is the implementation repository of our incoming ESEC/FSE 2021 paper: Exposing Numerical Bugs in Deep Learning via GradientBack-prop…☆15Oct 16, 2022Updated 3 years ago
- Dolphin is a Python package that enables scalable neurosymbolic learning by performing probabilistic computations over the GPU.☆16Updated this week
- BugsInPy: Benchmarking Bugs in Python Projects☆125Feb 10, 2026Updated last month
- ☆13May 19, 2024Updated last year
- A fork of HumanEval-Java from the paper "Impact of Code Language Models on Automated Program Repair"☆13Dec 11, 2024Updated last year
- ☆14Aug 18, 2025Updated 7 months ago
- TDCleaner: A Tool for Detecting Obsolete TODO Comments in Software Repos☆12Dec 9, 2021Updated 4 years ago
- A Reproducible Benchmark of Recent Java Bugs☆47Aug 19, 2025Updated 7 months ago
- An automated fault localization tool for Python programs.☆31Jun 6, 2025Updated 9 months ago
- Our solutions to Putnam 2025.☆80Jan 9, 2026Updated 2 months ago
- Convert regular HTML into Lucky's Crystal DSL for HTML.☆10Jun 6, 2020Updated 5 years ago
- Tensor library for Crystal powered by CUDA and CuDNN☆14Apr 26, 2018Updated 7 years ago
- Crystal bindings to Intel's DPDK at wire rate packet processing.☆12May 27, 2018Updated 7 years ago
- ☆12Jun 27, 2025Updated 8 months ago
- Crystal implementation of the Language Server Protocol☆11Jun 1, 2023Updated 2 years ago
- Useful to get input on noecho, secrets, passwords, token, hints☆12Jun 17, 2018Updated 7 years ago
- Repository to create CCKGs from the paper "Similarity-weighted Construction of Contextualized Commonsense Knowledge Graphs for Knowledge-…☆11May 23, 2025Updated 9 months ago
- Extensions (e.g. drawing functions) for stumpy_core☆10Sep 18, 2020Updated 5 years ago
- Source code for the ACL-IJCNLP 2021 paper entitled "T-DNA: Taming Pre-trained Language Models with N-gram Representations for Low-Resourc…☆19Jan 12, 2023Updated 3 years ago
- Semi-automated modelling and Model-Based Testing for CosmWasm contracts☆17Jun 28, 2024Updated last year
- ⚙️ Program slicer based on the Mozilla Lithium Tool for Java (also dubbed as Tandem-FL).☆11Oct 21, 2024Updated last year
- [Backburner] Crystal / Amber Framework Village Builder web application☆12Dec 6, 2022Updated 3 years ago
- ☆19Jan 18, 2021Updated 5 years ago
- HomePod + Raspberry Pi + Crystal+ Slack = Magic☆11Dec 16, 2020Updated 5 years ago
- Linear and interval bound propagation in Pytorch with easy-to-use API and GPU support.☆11Jul 4, 2025Updated 8 months ago
- ☆13Oct 18, 2023Updated 2 years ago
- Automatic C bindings generator for Crystal☆15Oct 12, 2019Updated 6 years ago
- This repo contains an explanation for docker technology☆14Jan 21, 2021Updated 5 years ago
- Ochiai fault localization results for Defects4J buggy projects☆12Apr 19, 2023Updated 2 years ago
- A Crystal library for desktop notifications.☆15Apr 12, 2024Updated last year
- TTG: Template Task Graph C++ API☆26Feb 10, 2026Updated last month
- BlueZ bluetooth binding in Crystal☆13Oct 8, 2018Updated 7 years ago
- Code recipes for Amber Framework☆14Sep 24, 2018Updated 7 years ago
- A SCL Unit Testing library☆11Nov 13, 2018Updated 7 years ago
- Screencasts for learning Crystal☆19Aug 31, 2018Updated 7 years ago