Why Java Doesn't Support Multiple Inheritance

This page summarizes the projects mentioned and recommended in the original post on /r/programming
Formal Verification

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • Checker Framework

    Pluggable type-checking for Java

    • And modern (real, non-android) Java via project amber and so on has gone more and more quasi functional with its immutability and sealed and record types for effective sum types, as well as its pretty cool type-use annotation extensible static type checks.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB 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

  • What if null was an Object in Java?

    3 projects | news.ycombinator.com | 28 Apr 2024

  • FizzBee: Open-source formal methods tool that's not hard

    1 project | news.ycombinator.com | 1 Apr 2024

  • @Nullable et @NonNull

    1 project | dev.to | 29 Mar 2024

  • Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspec

    5 projects | news.ycombinator.com | 23 Mar 2024

  • Creusot, a deductive verifier for Rust code

    1 project | news.ycombinator.com | 29 Feb 2024