[DL4C @ ICLR 2025] A Benchmark for Automated Environment Setup
☆34Nov 9, 2025Updated 3 months ago
Alternatives and similar repositories for EnvBench
Users that are interested in EnvBench are comparing it to the libraries listed below
Sorting:
- [⚠️ WIP] ALMOは拡張Markdownパーサ・静的サイトジェネレータです。WebAssemblyを使ってブラウザ上で完結する実行環境を提供し、サーバを必要としないサンプルコードの実行環境やジャッジシステムを提供するページの構築を可能にします。☆16Oct 28, 2025Updated 4 months ago
- A Programming Language implemented in JavaScript☆18Feb 11, 2026Updated 3 weeks ago
- [ACL25' Findings] SWE-Dev is an SWE agent with a scalable test case construction pipeline.☆59Jul 21, 2025Updated 7 months ago
- ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️☆23Feb 26, 2026Updated last week
- [ACL'25] UTBoost: Rigorous Evaluation of Coding Agents on SWE-Bench☆35Aug 12, 2025Updated 6 months ago
- ☆25Oct 2, 2024Updated last year
- ☆36Jun 6, 2025Updated 8 months ago
- [ASE2024] Mutual Learning-Based Framework for Enhancing Robustness of Code Models via Adversarial Training☆11Sep 13, 2024Updated last year
- Automated black-box REST API testing using graph-based modeling, LLMs, and multi-agent reinforcement learning.☆44Feb 20, 2026Updated last week
- ☆12Jan 21, 2026Updated last month
- hikalium's lifestyle guide☆12Feb 16, 2025Updated last year
- An implementation of Tare.☆12Feb 23, 2024Updated 2 years ago
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 5 years ago
- 《Web安全教程之XXE漏洞》XML External Entity Injection.☆11Nov 1, 2025Updated 4 months ago
- Train Ticket - A Benchmark Microservice System☆14Feb 10, 2026Updated 3 weeks ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- It is a RESTful API fuzzer.☆12Jun 20, 2024Updated last year
- Kubernetes cloud-controller-manager for SAKURA CLOUD (alpha)☆12Oct 23, 2019Updated 6 years ago
- This repository is for the paper of ICSE 2023: Regression Fuzzing for Deep Learning Systems☆12Feb 21, 2024Updated 2 years ago
- ☆12Feb 12, 2026Updated 3 weeks ago
- Build and packaging nimble binary package for Windows, macOS and Linux.☆12Feb 26, 2026Updated last week
- My dotfiles☆18Updated this week
- Artifact for TOSEM Submission: GiantRepair☆13Jun 26, 2024Updated last year
- Awesome LLM for Cybersecurity☆11Nov 16, 2024Updated last year
- ☆10Dec 15, 2023Updated 2 years ago
- [ESEC/FSE'23] Hue: A User-Adaptive Parser for Hybrid Logs☆10Aug 24, 2023Updated 2 years ago
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago
- 自举的 C 语言编译器☆10Jan 8, 2022Updated 4 years ago
- CVE-Factory☆53Feb 13, 2026Updated 2 weeks ago
- ☆48May 12, 2025Updated 9 months ago
- Sogou RPC benchmark base on Sogou C++ Workflow☆10Sep 4, 2020Updated 5 years ago
- B站API的Golang版本，提供视频源解析，排行获取等常用接口☆12Jan 19, 2016Updated 10 years ago
- ☆14Jan 28, 2026Updated last month
- A SATySFi package to build simple tables.☆17Apr 30, 2022Updated 3 years ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Feb 20, 2026Updated last week
- 🌳 A compressed rank/select dictionary exploiting approximate linearity and repetitiveness.☆15Jun 28, 2022Updated 3 years ago
- Apache Shiro CVE-2022-32532☆13Jun 28, 2022Updated 3 years ago
- Evaluation code of ASE24 accepted paper "On the Evaluation of LLM in Unit Test Generation"☆13Dec 9, 2024Updated last year
- An ANTLR4 grammar for ECMAScript 5.1☆16Jul 13, 2017Updated 8 years ago