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.
☆281Aug 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.☆597Apr 16, 2026Updated 3 months ago
- Benchmark ClassEval for class-level code generation.☆150Oct 24, 2024Updated last year
- patch presence test via symbolic signatures, ICSE'24☆12Mar 29, 2024Updated 2 years ago
- Binary Python wheels for all tree sitter languages.☆277Feb 17, 2025Updated last year
- ☆162May 27, 2025Updated last year
- 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.
- ☆127Apr 22, 2023Updated 3 years ago
- Code for the paper "A Structural Model for Contextual Code Changes"☆32Oct 25, 2023Updated 2 years ago
- [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
- SCIP indexer for Python☆97Updated this week
- Generate the WizardCoder Instruct from the CodeAlpaca☆21Jun 27, 2023Updated 3 years ago
- Yet another coding assistant powered by LLM.☆16Sep 11, 2024Updated last year
- junit tools contest infrastructure☆13Feb 9, 2024Updated 2 years ago
- ✨ RepoBench: Benchmarking Repository-Level Code Auto-Completion Systems - ICLR 2024☆213Aug 16, 2024Updated last year
- UnitEval is a benchmarking and evaluation tools for AutoDev Coder.☆14Jan 2, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆158Aug 27, 2024Updated last year
- Python bindings to the Tree-sitter parsing library☆1,481Updated this week
- ☆641Sep 1, 2025Updated 11 months ago
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago
- ☆12Jan 31, 2024Updated 2 years ago
- ☆13May 19, 2024Updated 2 years ago
- Reinforcement Learning for Repository-Level Code Completion☆43Jun 15, 2026Updated last month
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Nov 1, 2024Updated last year
- A .NET 4.8 application to retrieve delivr.to emails from Microsoft Outlook via COM☆20Jul 19, 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.
- [NeurIPS '25] GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents☆89Jul 12, 2026Updated 3 weeks ago
- [ICML '24] R2E: Turn any GitHub Repository into a Programming Agent Environment☆150Apr 20, 2025Updated last year
- A static analysis library for computing graph representations of Python programs suitable for use with graph neural networks.☆343Aug 11, 2023Updated 2 years ago
- Evaluating Program Reasoning of LLMs via Formal Specification Inference (ACL 2025)☆15Sep 21, 2025Updated 10 months ago
- A Terminal Based Chip-8 Emulator☆44Nov 6, 2020Updated 5 years ago
- Data and evaluation scripts for "CodePlan: Repository-level Coding using LLMs and Planning", FSE 2024☆90Sep 3, 2024Updated 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
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 3 years ago
- ☆11Jan 2, 2022Updated 4 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.
- SCIP Code Intelligence Protocol generator for Java☆131Updated this week
- A library for indexing code repositories using Tree-sitter Stack Graphs, designed to be used in MCP servers and other tools.☆16May 7, 2025Updated last year
- ☆81Mar 24, 2025Updated last year
- Explorations in area of programming languages: concepts, typing, formal verification☆18Feb 9, 2022Updated 4 years ago
- 🔍 Code Search Tools & Experiments☆13Updated this week
- Loop invariant generation with LLMs☆35Mar 6, 2025Updated last year
- Artifact evaluation of MobiSys25 SynCheck☆20Mar 24, 2025Updated last year