The repository of data and codes for SynTeR, an LLM-based approach to repair obsolete test cases caused by syntactic BCs.
☆16Aug 25, 2024Updated 2 years ago
Alternatives and similar repositories for SynTeR
Users that are interested in SynTeR are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Sep 12, 2024Updated 2 years ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆41May 14, 2024Updated 2 years ago
- ☆14Dec 31, 2024Updated last year
- ☆10Apr 24, 2024Updated 2 years ago
- ☆13Nov 20, 2024Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Hybrid Program Analysis-Guided Test Generation☆11Jun 15, 2026Updated 4 months ago
- 使用书生Intern大模型，以科技赋能投资决策☆10Feb 13, 2025Updated last year
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆22Mar 20, 2026Updated 7 months ago
- Experimental macOS adapter for QAQLeonard/a7c2-fl23-research: A7C II 2.01, MSC USB handling, verified backups and explicit installation p…☆51Oct 21, 2026Updated last week
- A fuzzer for SMT solvers☆23May 8, 2026Updated 5 months ago
- Pipeline for automatic test generation assessment☆11Mar 10, 2025Updated last year
- ☆21Jun 29, 2024Updated 2 years ago
- The survey on diffusion-based graph genrative methods☆22Dec 30, 2024Updated last year
- Dataset of Codex generated tests for the CodaMosa project☆19Jun 2, 2023Updated 3 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.
- ☆22Dec 28, 2024Updated last year
- unified document APIs☆10Sep 25, 2020Updated 6 years ago
- JSON specification for representing a graph structure☆12Jan 8, 2014Updated 12 years ago
- ☆28Nov 13, 2024Updated last year
- A Novel Benchmark evaluating the Deep Capability of Vulnerability Detection with Large Language Models☆37Apr 25, 2025Updated last year
- The Vector Graphics Editor, Vector to Bitmap Converter, and more with SVGs! Create, Edit, and Save All Your Amazing Vector Graphics Only …☆13Feb 9, 2022Updated 4 years ago
- JsonML-related tools for losslessly converting between XML/HTML and JSON, including mixed-mode XML. http://jsonml.org☆12Nov 6, 2019Updated 6 years ago
- CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…☆28Aug 18, 2024Updated 2 years ago
- Documentations and tutorials for CozoDB☆11Jun 4, 2024Updated 2 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.
- One of the early China-built lightweight Claude Code-inspired terminal coding agents, with autonomous execution, tool calling, custom age…☆56Updated this week
- sketching algorithms implemented in chapel and python☆10Jun 8, 2017Updated 9 years ago
- A Python script to delete all comment and submission data from a given Reddit account.☆11Jan 5, 2021Updated 5 years ago
- A Rust Implementation of the Pure Operation-Based CRDT Framework, made for Building Collaborative Applications☆15Oct 19, 2026Updated last week
- Code release for ViPlan: A Benchmark for Visual Planning with Symbolic Predicates and Vision-Language Models☆11Mar 4, 2026Updated 7 months ago
- A LLM-based AI agent for Pokemon Red Battles☆11Jul 1, 2025Updated last year
- A simple tool for adapting a pretrained Huggingface model to a new vocabulary with (almost) no training.☆13Aug 12, 2025Updated last year
- ☆15Dec 3, 2025Updated 10 months ago
- ☆39Jan 27, 2025Updated last year
- 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.
- A comprehensive C language grammar parser library written in Rust, implementing the C23 standard (ISO/IEC 9899:2023).☆13Jun 7, 2026Updated 4 months ago
- Smart file filter for Repomix - search and bundle only files containing specific strings☆12Feb 16, 2026Updated 8 months ago
- C++ implementation of mustache template engine with support for RapidJSON☆10Jun 7, 2019Updated 7 years ago
- ☆15Jul 23, 2025Updated last year
- TestGenEval A Real World Unit Test Generation and Test Completion Benchmark☆37Mar 12, 2026Updated 7 months ago
- The CTS2 OMG Specification☆11Dec 30, 2015Updated 10 years ago
- This repository contains code for data preparation and experiments for pre training llm with repository level context in various ways☆12Aug 1, 2023Updated 3 years ago