The Checker Framework

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com
hardware-buttons voice-attack template-engine-js

AppSignal knows why the f*#k it crashed.
Stop vibe-debugging. Every exception, every backtrace, grouped so you see patterns, not noise.
www.appsignal.com
sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
sponsored

  1. Checker Framework

    Pluggable type-checking for Java

  2. AppSignal

    AppSignal knows why the f*#k it crashed. Stop vibe-debugging. Every exception, every backtrace, grouped so you see patterns, not noise.

    AppSignal logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • @Nullable et @NonNull

    1 project | dev.to | 29 Mar 2024

  • Too Dangerous for C++

    2 projects | news.ycombinator.com | 9 Feb 2024

  • Checker Framework - Pluggable type systems for Java

    1 project | /r/java | 29 Jun 2023

  • JEP 457: Class-File API for Parsing, generating, transforming

    2 projects | news.ycombinator.com | 26 Sep 2023

  • Creusot is a deductive verifier for the Rust programming language

    1 project | news.ycombinator.com | 11 Aug 2026

Did you know that Java is
the 10th most popular programming language
based on number of references?

Loading...