Static Analysis on Rust source code (and/or binary) using IR of the Rust Compiler.

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

The official Python SDK for Codellm-Devkit

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

Granite Code Cookbook

Static Analysis on Java source code (and/or binary) using WALA and JavaParser.

Mines google scholar to generate a summary of all citations

code naturalness via CodeBERT

The Boa language reference compiler.