🏠
Working from home
Starred repositories
6
stars
written in Java
Clear filter
Guice (pronounced 'juice') is a lightweight dependency injection framework for Java 11 and above, brought to you by Google.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Smithy is a protocol-agnostic interface definition language and set of tools for generating clients, servers, and documentation for any programming language.
Kuromoji is a self-contained and very easy to use Japanese morphological analyzer designed for search
Similarity or Distance Metrics, e.g. Levenshtein, for Java