Tags : Browse Projects

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

OrthoDocs

Compare

  Analyzed about 2 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 1 year since last commit

1 users on Open Hub

Very Low Activity
0.0
 
I Use This
Licenses: No declared licenses

CoFlo

Compare

  Analyzed about 20 hours 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

almost 11 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This

radon

Compare

  Analyzed about 9 hours ago

Cyclomatic code complexity and raw metrics for Python

3.78K lines of code

7 current contributors

7 months since last commit

1 users on Open Hub

Very Low Activity
5.0
 
I Use This

mypy

Compare

  Analyzed about 13 hours ago

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

721K lines of code

119 current contributors

2 days since last commit

1 users on Open Hub

High Activity
5.0
 
I Use This

checkstyle-addons

Compare

  Analyzed about 11 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.5K 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 11 hours ago

Whitespace checking tool

1.18K lines of code

1 current contributors

about 3 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This

dmn-check

Compare

  Analyzed about 17 hours ago

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

7.22K lines of code

1 current contributors

8 days since last commit

1 users on Open Hub

Moderate Activity
0.0
 
I Use This

opem

Compare

  Analyzed about 11 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 month since last commit

1 users on Open Hub

Low Activity
5.0
 
I Use This

Void Safety Formalization

Compare

  Analyzed about 16 hours ago

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

0 lines of code

0 current contributors

over 7 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 17 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

about 3 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This