Repositories list

• NITR

  Public
  Needle in the Repo (NITR) dataset for maintainability issues in AI generated repository edits

  software-engineeringcode-generationagentic-ai

  software-engineeringcode-generationagentic-ai

  Python

  •

  Apache License 2.0

  •1010 forks•3232 stars•22 issues•00 pull requests•Updated Aug 2, 2026Aug 2, 2026

• NullAwayAnnotator

  Public
  A tool to help adapting code bases to NullAway type system.

  javaannotationsinference+ 3

  javaannotationsinferencenullabilitystaticanalysistypesystems

  Java

  •

  MIT License

  •1616 forks•1818 stars•1818 issues•88 pull requests•Updated Jul 24, 2026Jul 24, 2026

• whisk

  Public
  An equality-saturation based micro-fluidic mixing framework

  Rust

  •00 forks•22 stars•1414 issues•22 pull requests•Updated Jul 10, 2026Jul 10, 2026

• ai-agent-lab

  Public
  Python

  •

  MIT License

  •77 forks•4040 stars•00 issues•00 pull requests•Updated May 13, 2026May 13, 2026

• Argus

  Public
  Python

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 1, 2026Apr 1, 2026

• TaintTyper

  Public
  Java

  •

  MIT License

  •00 forks•22 stars•00 issues•1010 pull requests•Updated Oct 16, 2025Oct 16, 2025

• njr-1-j11

  Public
  00 forks•22 stars•00 issues•00 pull requests•Updated Sep 24, 2025Sep 24, 2025

• NullAway-UI

  Public
  This is an online Java sandbox that allows users to run NullAway and NullAway Annotator.

  TypeScript

  •

  Apache License 2.0

  •22 forks•00 stars•00 issues•00 pull requests•Updated Dec 16, 2024Dec 16, 2024

• NullAway-Sandbox

  Public
  This is an online Java sandbox that allows users to utilize NullAway and ErrorProne in their Java code.

  TypeScript

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 29, 2024Nov 29, 2024

• annotator-gradle-plugin

  Public
  Annotator Gradle plugin

  Kotlin

  •

  MIT License

  •11 fork•00 stars•00 issues•00 pull requests•Updated May 20, 2024May 20, 2024

• Annotator-Maven-Plugin

  Public
  Kotlin

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 17, 2024May 17, 2024

• WALA

  Public
  T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

  Java

  •

  Eclipse Public License 2.0

  •243243 forks•00 stars•00 issues•00 pull requests•Updated Jan 10, 2022Jan 10, 2022

• jalangi2

  Public
  Dynamic analysis framework for JavaScript

  JavaScript

  •

  Apache License 2.0

  •123123 forks•00 stars•00 issues•00 pull requests•Updated Jan 3, 2022Jan 3, 2022

• LiveDroid

  Public
  Java

  •

  GNU Lesser General Public License v2.1

  •11 fork•66 stars•00 issues•00 pull requests•Updated Dec 19, 2021Dec 19, 2021

• DynCallGraphJS

  Public
  A dynamic call graph generator using Jalangi2

  javascriptjalangi2call-graph-analysis

  javascriptjalangi2call-graph-analysis

  JavaScript

  •

  Universal Permissive License v1.0

  •00 forks•88 stars•00 issues•00 pull requests•Updated Jul 20, 2021Jul 20, 2021

• AndroidSlicer

  Public
  AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.

  Java

  •

  Other

  •44 forks•1414 stars•55 issues•00 pull requests•Updated Jul 28, 2019Jul 28, 2019