Repositories list

• checker-framework-vscode

  Public
  Checker Framework for VS Code

  TypeScript

  •

  MIT License

  •8•4•3•4•Updated Nov 1, 2024Nov 1, 2024

• javac-diagnostics-wrapper

  Public
  Wrapper around javac to produce different diagnostics output

  Java

  •

  GNU General Public License v2.0

  •3•4•2•4•Updated Oct 30, 2024Oct 30, 2024

• checker-framework-languageserver-downloader

  Public
  Checker Framework Language Server Downloader

  checker-framework

  Java

  •

  MIT License

  •5•0•0•1•Updated Oct 28, 2024Oct 28, 2024

• checker-framework-languageserver

  Public
  Checker Framework Language Server

  language-serverlspchecker-framework

  Java

  •

  MIT License

  •7•6•2•3•Updated Oct 25, 2024Oct 25, 2024

• checker-framework-idea

  Public
  MIT License

  •2•3•0•1•Updated Oct 18, 2023Oct 18, 2023

• eisopux.github.io

  Public
  EISOPUX website

  GNU General Public License v2.0

  •0•0•0•0•Updated Oct 25, 2022Oct 25, 2022

• checker-framework-theia

  Public
  Checker Framework for Theia IDE

  JavaScript

  •1•0•0•1•Updated May 5, 2021May 5, 2021

• checker-framework-eclipse

  Public
  Java

  •

  MIT License

  •3•0•1•3•Updated Aug 24, 2020Aug 24, 2020