Top 4 Java mit-license Projects

tlaplus

38 2,201 9.1 Java

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Project mention: Ask HN: Usefulness of formal verification (Coq) and formal verification (TLA+)? | news.ycombinator.com | 2024-04-07

Halma

1 33 7.4 Java

Halma Game Built With The Awesome libGDX framework (by Crazy-Marvin)

Project mention: ⟳ 4 apps added, 121 updated at f-droid.org | /r/FDroidUpdates | 2023-09-15

Halma (version 11.0): Chinese checkers (Halma) to play with friends. Try this strategy board game now!

InfluxDB

www.influxdata.com sponsored

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.
eurokonverter

3 4 4.4 Java

An android app for converting Croatian kunas into euros (and vice versa) at a fixed exchange rate of €1 = HRK 7.53450.
api-openai

2 2 3.7 Java

Aplicação Java para simples integração ao Chat GPT

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).