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

GitHub

127 stars
11 watching
15 forks
Language: Haskell
last commit: over 1 year ago
automated-refactoringfortranhaskellstatic-analysisverification

Related projects:

Repository Description Stars
haskell/criterion A performance measurement library for Haskell code 505
metricfu/metric_fu A tool to help measure and improve code quality by analyzing various metrics. 625
migamake/homplexity A tool that analyzes Haskell code to measure its complexity and quality 61
mbevilacqua/appcompatprocessor An application compatibility data analysis tool designed to extract value beyond traditional techniques 197
venantius/yagni An analyzer that identifies and reports unused code in Java-based projects. 219
analysis-tools-dev/dynamic-analysis A curated list of tools and linters to analyze and improve code quality in various programming languages and environments. 956
mumuki/mulang Analyzes source code structure and syntax to detect potential issues and errors 124
kowainik/stan Analyzes Haskell code to identify potential errors and areas for improvement 572
joakim-brannstrom/dextool A set of tooling plugins built on top of the LLVM/Clang compiler infrastructure to analyze and improve C/C++ code quality. 102
patois/hexraystoolbox A toolset for analyzing and identifying patterns in compiled code from various architectures. 439
djv/visualprof A tool to analyze and visualize the performance of Haskell programs. 59
naivesystems/analyze Automates code security and compliance analysis for C++ projects. 177
mikepopoloski/slang Provides tools and services for compiling, parsing, and analyzing SystemVerilog code 644
flatt-security/shisho A tool that analyzes code for security vulnerabilities and provides feedback to developers 369
ademanuele/vsmac-codecoverage An extension for Visual Studio for Mac that provides code coverage analysis and visualization. 75