camfort
Code analyzer
A tool for analyzing and improving Fortran code to make it more reliable and maintainable.
Light-weight verification and transformation tools for Fortran
127 stars
11 watching
15 forks
Language: Haskell
last commit: over 1 year ago automated-refactoringfortranhaskellstatic-analysisverification
Related projects:
| Repository | Description | Stars |
|---|---|---|
| | A performance measurement library for Haskell code | 505 |
| | A tool to help measure and improve code quality by analyzing various metrics. | 625 |
| | A tool that analyzes Haskell code to measure its complexity and quality | 61 |
| | An application compatibility data analysis tool designed to extract value beyond traditional techniques | 197 |
| | An analyzer that identifies and reports unused code in Java-based projects. | 219 |
| | A curated list of tools and linters to analyze and improve code quality in various programming languages and environments. | 956 |
| | Analyzes source code structure and syntax to detect potential issues and errors | 124 |
| | Analyzes Haskell code to identify potential errors and areas for improvement | 572 |
| | A set of tooling plugins built on top of the LLVM/Clang compiler infrastructure to analyze and improve C/C++ code quality. | 102 |
| | A toolset for analyzing and identifying patterns in compiled code from various architectures. | 439 |
| | A tool to analyze and visualize the performance of Haskell programs. | 59 |
| | Automates code security and compliance analysis for C++ projects. | 177 |
| | Provides tools and services for compiling, parsing, and analyzing SystemVerilog code | 644 |
| | A tool that analyzes code for security vulnerabilities and provides feedback to developers | 369 |
| | An extension for Visual Studio for Mac that provides code coverage analysis and visualization. | 75 |