Daikon Alternatives

Similar projects and alternatives to Daikon

• Checker Framework

  - 896 9.8 Java Daikon VS Checker Framework

  Pluggable type-checking for Java

  

• OpenJML

  - 114 0.0 Java Daikon 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:

  

• SonarLint

  www.sonarlint.org

  sponsored

  Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

  

• CATG

  - 90 0.0 Java Daikon VS CATG

  a concolic testing engine for Java

• JMLOK 2.0

  - 4 0.0 Java Daikon VS JMLOK 2.0

  Tool for detecting and classifying nonconformances in Java/JML projects.

• jCUTE

  - 81 0.0 Java Daikon VS jCUTE

  Java Concolic Unit Testing Engine

  

• cakeml

  - 800 9.6 Standard ML Daikon VS cakeml

  CakeML: A Verified Implementation of ML

  

• creusot

  - 646 9.7 Rust Daikon VS creusot

  deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

• InfluxDB

  www.influxdata.com

  sponsored

  Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.