Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multispy` is a lsp client library in Python intended to be used to build applications around language servers.
☆279Aug 8, 2024Updated 2 years ago
Alternatives and similar repositories for monitors4codegen
Users that are interested in monitors4codegen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- multilspy is a lsp client library in Python intended to be used to build applications around language servers.☆613Oct 15, 2026Updated 2 weeks ago
- CrossCodeEval: A Diverse and Multilingual Benchmark for Cross-File Code Completion (NeurIPS 2023)☆184Aug 15, 2025Updated last year
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated last year
- ACER is an AST-based Callgraph Generator Development Framework☆43Jun 17, 2024Updated 2 years ago
- A pythonic generic language server☆812Oct 17, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ESEC/FSE'21: Prediction-Preserving Program Simplification☆10Oct 4, 2022Updated 4 years ago
- Binary Python wheels for all tree sitter languages.☆280Feb 17, 2025Updated last year
- Data and evaluation scripts for "CodePlan: Repository-level Coding using LLMs and Planning", FSE 2024☆89Sep 3, 2024Updated 2 years ago
- SCIP indexer for Python☆104Updated this week
- [ISSTA'25] A GitHub issue resolution benchmark with multi-aspect diversity in programming languages, repository domains and modality of i…☆17Jun 13, 2025Updated last year
- Code for the paper "A Structural Model for Contextual Code Changes"☆32Oct 25, 2023Updated 3 years ago
- ☆127Apr 22, 2023Updated 3 years ago
- ☆677Nov 1, 2024Updated last year
- Python bindings to the Tree-sitter parsing library☆1,512Aug 30, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆12Aug 27, 2024Updated 2 years ago
- SCIP Code Intelligence Protocol☆854Updated this week
- Commit0: Library Generation from Scratch☆194Feb 24, 2026Updated 8 months ago
- Translating humaneval into dafny☆12Mar 31, 2025Updated last year
- Java* Fuzzer for JVM☆11Nov 3, 2021Updated 4 years ago
- A static analysis library for computing graph representations of Python programs suitable for use with graph neural networks.☆341Aug 11, 2023Updated 3 years ago
- UnitEval is a benchmarking and evaluation tools for AutoDev Coder.☆14Jan 2, 2024Updated 2 years ago
- ☆12Jan 31, 2024Updated 2 years ago
- junit tools contest infrastructure☆13Feb 9, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering☆734Nov 6, 2025Updated 11 months ago
- Code for Paper: Training Software Engineering Agents and Verifiers with SWE-Gym [ICML 2025]☆754Jul 29, 2025Updated last year
- ☆13May 19, 2024Updated 2 years ago
- A .NET 4.8 application to retrieve delivr.to emails from Microsoft Outlook via COM☆20Jul 19, 2025Updated last year
- GraphGen4Code: a toolkit for creating code knowledge graphs based on WALA code analysis and extraction of documentation and forum content…☆370Dec 3, 2025Updated 10 months ago
- ☆156Aug 27, 2024Updated 2 years ago
- Reinforcement Learning for Repository-Level Code Completion☆41Jun 15, 2026Updated 4 months ago
- [NeurIPS '25] GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents☆94Sep 29, 2026Updated last month
- A collection of practical code generation tasks and tests in open source projects. Complementary to HumanEval by OpenAI.☆160Dec 25, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Mining tool and large-scale datasets of single statement bug fixes in Python☆19Nov 29, 2023Updated 2 years ago
- Rigourous evaluation of LLM-synthesized code - NeurIPS 2023 & COLM 2024☆1,839Oct 2, 2025Updated last year
- This is the official implementation of paper "AST-Trans: Code Summarization with Efficient Tree-StructuredAttention" acceptted in ICSE 20…☆25May 4, 2024Updated 2 years ago
- ☆644Sep 1, 2025Updated last year
- AI-assisted verification of Dafny Programs☆21Nov 9, 2025Updated 11 months ago
- This repo contains the dataset and code for the paper "SWE-Lancer: Can Frontier LLMs Earn $1 Million from Real-World Freelance Software E…☆1,431Jul 18, 2025Updated last year
- ☆11Jan 2, 2022Updated 4 years ago