Java Verification

Open-source Java projects categorized as Verification

Top 3 Java Verification Projects

  • tlaplus

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

    Project mention: Quint: A specification language based on the temporal logic of actions (TLA) | news.ycombinator.com | 2023-12-19

    ```

    https://github.com/tlaplus/tlaplus/blob/master/tlatools/org....

    In any case, our whole team thinks TLA is great, and we're happy people like you and Ron find it so useful and insightful. We also think it is a very insightful.

  • Checker Framework

    Pluggable type-checking for Java

    Project mention: Too Dangerous for C++ | news.ycombinator.com | 2024-02-09

    It is interesting! I experimented with creating a bad borrow checker for Java using annotations from

    https://checkerframework.org/

    It supports some level of substructural types using must-call annotations,

    https://checkerframework.org/manual/#resource-leak-checker

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  • SmsVerifyCatcher

    Android library for phone number verification feature in your app. Automatically copies verification code from SMS right into the app. Made by Stfalcon

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). The latest post mention was on 2024-02-09.

Java Verification related posts

Index

What are some of the best open-source Verification projects in Java? This list will help you:

Project Stars
1 tlaplus 2,188
2 Checker Framework 976
3 SmsVerifyCatcher 848
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com