plasma-umass / pythonessLinks
Pythoness: use natural language to define Python functions.
☆21Updated 8 months ago
Alternatives and similar repositories for pythoness
Users that are interested in pythoness are comparing it to the libraries listed below
Sorting:
- Incremental Python parser for constrained generation of code by LLMs.☆18Updated last year
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆80Updated 7 months ago
- Repilot, a patch generation tool introduced in the ESEC/FSE'23 paper "Copiloting the Copilots: Fusing Large Language Models with Completi…☆136Updated 2 years ago
- Use context-free grammars with an LLM☆175Updated last year
- Clover: Closed-Loop Verifiable Code Generation☆40Updated 8 months ago
- [NeurIPS 2024] Evaluation harness for SWT-Bench, a benchmark for evaluating LLM repository-level test-generation☆67Updated last month
- Graphical Code Tracer (GCT): Visualize code at lightning speed☆54Updated last year
- Automatic AI-powered test suite generator☆101Updated 2 months ago
- This repository contains all the code for collecting large scale amounts of code from GitHub.☆110Updated 2 years ago
- Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions☆48Updated 4 months ago
- ☆24Updated last year
- Find the Python code for specified symbols☆310Updated 8 months ago
- LLM verified with Monte Carlo Tree Search☆284Updated 9 months ago
- Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multis…☆277Updated last year
- Binary Python wheels for all tree sitter languages.☆258Updated 11 months ago
- A benchmarking tool for evaluating AI coding assistants on real-world software engineering tasks from the SWE-Bench dataset.☆63Updated 7 months ago
- ☆83Updated last year
- Static Analysis meets Large Language Models☆53Updated last year
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆315Updated 2 months ago
- LMQL implementation of tree of thoughts☆36Updated last year
- Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles☆44Updated 4 months ago
- Enriched Python function call graphs for agents and coding assistants☆126Updated 6 months ago
- A better way of testing, inspecting, and analyzing AI Agent traces.☆43Updated last week
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆43Updated 2 years ago
- Evaluate LLM-generated COBOL☆42Updated last year
- Efficient and general syntactical decoding for Large Language Models☆314Updated last month
- AskIt: Unified programming interface for programming with LLMs (GPT-3.5, GPT-4, Gemini, Claude, Cohere, Llama 2)☆80Updated last year
- Interactive LLM Chatbot that constructs direct and transitive software dependencies as a knowledge graph and answers user's questions lev…☆31Updated last year
- A strongly typed Python DSL for developing message passing multi agent systems☆53Updated last year
- Foyle is a copilot to help developers deploy and operate their applications.☆133Updated 10 months ago