The repository of data and codes for SynTeR, an LLM-based approach to repair obsolete test cases caused by syntactic BCs.
☆15Aug 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:
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆34Mar 11, 2025Updated last year
- A practical fuzzing tool for SMT solvers☆11Nov 26, 2025Updated 9 months ago
- A fuzzer for SMT solvers☆22May 8, 2026Updated 3 months ago
- A tool for testing SMT solvers for incompleteness bugs☆17Oct 12, 2022Updated 3 years ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Mar 29, 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.
- A database of crash (exception) bugs for Android apps☆21Jan 8, 2024Updated 2 years ago
- Benchmark apps for static analyzing inter-component data leakage problem of Android apps.☆19Jun 20, 2017Updated 9 years ago
- Code for the paper: CodeTree: Agent-guided Tree Search for Code Generation with Large Language Models☆38Jun 2, 2026Updated 2 months ago
- HyPe: Better Pre-trained Language Model Fine-tuning with Hidden Representation Perturbation [ACL 2023]☆14Jul 11, 2023Updated 3 years ago
- sketching algorithms implemented in chapel and python☆10Jun 8, 2017Updated 9 years ago
- Implementation of Hyena Hierarchy in JAX☆10Apr 30, 2023Updated 3 years ago
- A Python script to delete all comment and submission data from a given Reddit account.☆11Jan 5, 2021Updated 5 years ago
- ☆15Jul 23, 2025Updated last year
- ☆13Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Application android pour les transports de Rennes☆54Jul 9, 2018Updated 8 years ago
- Train pix2pix on Google Cloud TPUs (based on @affinelayer's implementation)☆16Oct 1, 2018Updated 7 years ago
- A Raycast extension for Wechat to quickly search your contacts and chat.Raycast 微信插件，微信效率工具，快速搜索微信好友并进行聊天。☆54Jun 12, 2025Updated last year
- IMDB API for Python☆18Mar 10, 2024Updated 2 years ago
- U-2-NetのPythonでのONNX推論サンプル☆13Nov 29, 2021Updated 4 years ago
- BiSUNA framework specialized to compile for the Xilinx Alveo U50☆13Dec 3, 2020Updated 5 years ago
- [inactive] MoMA: Multimodal LLM Adapter for Fast Personalized Image Generation☆13Apr 22, 2024Updated 2 years ago
- [ICML 2024] Fine-Grained Classes and How to Find Them☆14Jun 21, 2024Updated 2 years ago
- Collection of Machine Learning examples using MLEK CMSIS-pack.☆11Jul 14, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A simple library for working with Hugging Face models.☆14Dec 30, 2024Updated last year
- Basic assembler for the basic CPU at https://embeddedmicro.com/tutorials/lucid/basic-cpu☆14Aug 19, 2015Updated 11 years ago
- The official repository for the paper "Statler: State-Maintaining Language Models for Embodied Reasoning"☆13Jun 10, 2024Updated 2 years ago
- Web-based tool to convert model into MyriadX blob☆16Dec 9, 2025Updated 8 months ago
- Code for 'Answer Matching Outperforms Multiple Choice for Language Model Evaluation' paper☆19Jul 4, 2025Updated last year
- ReSemAct: Advancing Fine-Grained Robotic Manipulation via Semantic Structuring and Affordance Refinement☆17Jan 5, 2026Updated 7 months ago
- ☆18Oct 14, 2021Updated 4 years ago
- Pytorch implementation of Light FlowNet☆15Jun 22, 2019Updated 7 years ago
- A Python package designed to simplify the process of creating and managing function calls to OpenAI's API, as well as models using LiteLL…☆17May 25, 2025Updated last year
- 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.
- Seeing is Not Reasoning: MVPBench for Graph-based Evaluation of Multi-path Visual Physical CoT☆14Jul 30, 2025Updated last year
- ☆14Oct 8, 2016Updated 9 years ago
- Real-time Keypoint Tracker using full/exhaustive-search motion estimation. Works with both live/camera streams and recorded video. Wri…☆21May 14, 2016Updated 10 years ago
- The DL Streamer Pipeline Zoo is a catalog of optimized media and media analytics pipelines. It includes tools for downloading pipelines a…☆16Aug 20, 2024Updated 2 years ago
- Code and benchmark of the paper "MineAnyBuild: Benchmarking Spatial Planning for Open-world AI Agents" (NeurIPS D&B 2025)☆16Oct 13, 2025Updated 10 months ago
- ☆10May 24, 2022Updated 4 years ago
- Django Agricultural IoT☆16Jan 14, 2019Updated 7 years ago