Code4Bench: A Mutildimensional Benchmark of Codeforces Data for Different Program Analysis Techniques
☆17Apr 12, 2019Updated 7 years ago
Alternatives and similar repositories for Code4Bench
Users that are interested in Code4Bench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An implementation of Tare.☆12Feb 23, 2024Updated 2 years ago
- ☆16Nov 9, 2024Updated last year
- ESEC/FSE'21: Prediction-Preserving Program Simplification☆10Oct 4, 2022Updated 3 years ago
- WebSocket server implementation of OCaml☆14May 14, 2019Updated 7 years ago
- Code for "Question Generation for Adaptive Education", to appear at ACL 2021.☆33Jul 18, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An LLM-based fuzzing framework for C compilers testing.☆26Dec 14, 2025Updated 5 months ago
- ☆46Jul 29, 2021Updated 4 years ago
- [TPAMI-2018] A C++ framework for training/testing Support Vector Machine with Gaussian Sample Uncertainty (SVM-GSU).☆13Feb 20, 2018Updated 8 years ago
- A tool for testing SMT solvers for incompleteness bugs☆17Oct 12, 2022Updated 3 years ago
- ☆14Sep 20, 2025Updated 8 months ago
- An Automatic DNN TrainingProblem Detection and Repair System☆20Dec 23, 2023Updated 2 years ago
- WebApp1k benchmark☆16Nov 21, 2025Updated 5 months ago
- Implementation of an LLM prompting pipeline combined with wrappers for auto-decomposing reasoning steps and for search through the reason…☆16May 7, 2024Updated 2 years ago
- A dataset used for ranking-oriented cross-project defect prediction☆13Jan 2, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆10Jun 1, 2024Updated last year
- Notebooks on Mangaki☆13Jan 29, 2022Updated 4 years ago
- 补充了一些Visualglm缺少的文件，可以对Visualglm进行训练，实例中是对人脸做了面相的识别☆13Jun 7, 2023Updated 2 years ago
- Implements the algorithm form "Sparse logistic principal components analysis for binary data"☆14Dec 11, 2013Updated 12 years ago
- A library for detecting swapped arguments in function calls, and a Clang Static Analyzer plugin used to demonstrate the library.☆21Sep 22, 2020Updated 5 years ago
- MemRec☆61Mar 17, 2026Updated 2 months ago
- The implementation of Online Cross-Project JIT-SDP approaches proposed in the paper "Cross-Project Online Just-In-Time Software Defect Pr…☆12Feb 7, 2022Updated 4 years ago
- repo of "SelfAPR: Self-supervised Program Repair with Test Execution Diagnostics" (ASE 22) https://oadoi.org/10.1145/3551349.3556926☆29Mar 4, 2024Updated 2 years ago
- A simple RRT path planner for Gazebo (in ROS) to move arms from initial to goal configuration without colliding with pre-configured objec…☆11Dec 7, 2017Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆17Jan 7, 2025Updated last year
- Variational Factorization Machines☆17Dec 20, 2016Updated 9 years ago
- ☆20Feb 22, 2024Updated 2 years ago
- ☆13Jun 5, 2023Updated 2 years ago
- [ICML 2023] "Data Efficient Neural Scaling Law via Model Reusing" by Peihao Wang, Rameswar Panda, Zhangyang Wang☆14Jan 4, 2024Updated 2 years ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆22Aug 7, 2023Updated 2 years ago
- ☆16May 31, 2017Updated 8 years ago
- TensorFlow implementation of the Traversal Network (TNet) architecture, presented in "Hard-Attention for Scalable Image Classification" (…☆17Jun 17, 2022Updated 3 years ago
- ☆36Feb 26, 2023Updated 3 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.
- For our ICSE23 paper "KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair" by Nan Jiang, Thibaud Lutellier, Yiling…☆33Sep 28, 2023Updated 2 years ago
- [SANER 2023] MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation☆15Jul 13, 2024Updated last year
- A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their cont…☆16Aug 30, 2025Updated 8 months ago
- Official repository for ToolScope: An Agentic Framework for Vision-Guided and Long-Horizon Tool Use☆30Nov 4, 2025Updated 6 months ago
- Source codes and datasets for the paper "Incorporating Anticipation Embedding into Reinforcement Learning Framework for Multi-hop Knowled…☆12Aug 20, 2021Updated 4 years ago
- My solutions to problems in Arora & Barak's textbook Computational Complexity☆18Dec 21, 2011Updated 14 years ago
- No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation☆20Jun 28, 2023Updated 2 years ago