JMLOK 2.0 Alternatives

Similar projects and alternatives to JMLOK 2.0 based on common topics and language

• jCUTE

  0 85 0.0 Java JMLOK 2.0 VS jCUTE

  Java Concolic Unit Testing Engine

  

• CATG

  0 97 0.0 Java JMLOK 2.0 VS CATG

  a concolic testing engine for Java

• WorkOS

  workos.com sponsored

  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.

  

• Checker Framework

  11 976 9.7 Java JMLOK 2.0 VS Checker Framework

  Pluggable type-checking for Java

  

• Daikon

  1 202 7.8 C JMLOK 2.0 VS Daikon

  Dynamic detection of likely invariants

  

• OpenJML

  1 132 9.0 Java JMLOK 2.0 VS OpenJML

  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:

  

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