Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

OrthoDocs

Compare

  Analyzed about 12 hours ago

OrthoDocs is an API documentation generator and static analysis tool for the OpenSCAD scripting language.

4.94K lines of code

0 current contributors

about 2 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This
Licenses: No declared licenses

CoFlo

Compare

  Analyzed 1 day ago

CoFlo is a Free and Open Source source code analysis tool which generates and analyzes control flow graphs from C and C++ source. Control flow graphs can be output in graphical or textual format. CoFlo’s target audience is all developers in need of a deeper inspection, analysis, understanding ... [More] , and visualization of their C and C++ source code. [Less]

12.1K lines of code

0 current contributors

about 12 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This

radon

Compare

  Analyzed 1 day ago

Cyclomatic code complexity and raw metrics for Python

3.78K lines of code

7 current contributors

8 months since last commit

1 users on Open Hub

Very Low Activity
5.0
 
I Use This

mypy

Compare

  Analyzed 1 day ago

Optional static typing for Python 3 and 2 (PEP 484) .

795K lines of code

119 current contributors

1 day since last commit

1 users on Open Hub

Very High Activity
5.0
 
I Use This

checkstyle-addons

Compare

  Analyzed about 19 hours ago

Additional Checkstyle checks Checkstyle Addons provides additional detectors for the Checkstyle static code analysis tool for Java. It integrates with a large number of standard software and is distributed via Bintray jcenter and Maven Central. For further detailed information, please visit the website.

11.4K lines of code

1 current contributors

about 1 month since last commit

1 users on Open Hub

Very Low Activity
0.0
 
I Use This

wscheck

Compare

  Analyzed about 21 hours ago

Whitespace checking tool

1.18K lines of code

1 current contributors

over 4 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This

dmn-check

Compare

  Analyzed about 8 hours ago

Checks for ambiguous rules in Decision Model Notation (DMN) files

7.22K lines of code

1 current contributors

13 days since last commit

1 users on Open Hub

Moderate Activity
0.0
 
I Use This

opem

Compare

  Analyzed about 19 hours ago

OPEM (Open Source PEM Cell Simulation Tool) The Open-Source PEMFC Simulation Tool (Opem) is an open-source mathematical simulation package for polymer electrolyte fuel cells. It contains a database of physical phenomena equations, and kinetics mathematical models in order to perform ... [More] static/dynamic analysis of PEMFC. The goal of the software is to prepare a platform for collaborative development of PEMFC mathematical models. [Less]

8.96K lines of code

6 current contributors

about 1 year since last commit

1 users on Open Hub

Very Low Activity
5.0
 
I Use This

Void Safety Formalization

Compare

  Analyzed about 12 hours ago

Machine-checkable proofs of void safety formalized in Isabelle/HOL.

0 lines of code

0 current contributors

over 8 years since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: CC_BY-NC-...

Null Safety Benchmark

Compare

  Analyzed about 12 hours ago

A set of benchmark examples to test and compare different null safety solutions for their soundness and expressiveness.

1.6K lines of code

1 current contributors

over 4 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This