TDD-Bench-Verified is a new benchmark for generating test cases for test-driven development (TDD)

ChatDBG - AI-assisted debugging. Uses AI to answer 'why'

A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research

Python SDK, Proxy Server (LLM Gateway) to call 100+ LLM APIs in OpenAI format - [Bedrock, Azure, OpenAI, VertexAI, Cohere, Anthropic, Sagemaker, HuggingFace, Replicate, Groq]

Agentless🐱: an agentless approach to automatically solve software development problems

Prompt Declaration Language (PDL) is a declarative prompt programming language.

Static Python call graph generator

The framework for building scalable agentic applications.

codellm-devkit provides unified language to get off-the-shelf static analysis for multiple programming languages and support for applying those analyses for code LLM use cases.

[ICLR 2024] SWE-bench: Can Language Models Resolve Real-world Github Issues?

KubeStellar - a flexible solution for challenges associated with multi-cluster configuration management for edge, multi-cloud, and hybrid cloud

A language for constraint-guided and efficient LLM programming.

tempeh is a framework to TEst Machine learning PErformance exHaustively which includes tracking memory usage and run time.

A Python Package to Tackle the Curse of Imbalanced Datasets in Machine Learning

A library of sklearn compatible categorical variable encoders

Home of CodeT5: Open Code LLMs for Code Understanding and Generation

AutoML debugging and remediation tool called MARO: ML Automated Remediation Oracle

A library for read and write ARFF files in Python

Scalpel: The Python Static Analysis Framework

REGEL: Regular Expression Generation from Examples and Language

Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trains them on a dataset.

Library for Semi-Automated Data Science

a Julia wrapper of Python's lale automl package

Open-source, Cloud-native Streams

scikit-learn: machine learning in Python

Formalization of Machine Learning Theory with Applications to Program Synthesis

Hammerslide is an algorithm for sliding window aggregation that uses SIMD instructions.

Rewriting the Stan compiler in OCaml