camfort
Tooling for the static analysis and verification of Fortran code (joint project between the University of Kent, University of Cambridge, and Bloomberg LP)
Pinned Repositories
array-analyse
Analysis tool for array programming idioms in Fortran code (based on CamFort)
camfort
Light-weight verification and transformation tools for Fortran
camfort.github.io
fortran-generator
Generate example Fortran programs of particular shapes to generate data on CamFort.
fortran-src
Fortran parsing and static analysis infrastructure
fortran-src-extras
Various utility functions and orphan instances which may be useful when using fortran-src.
fortran-vars
Fortran memory model and other static analysis tools (building on fortran-src)
project-ideas
Ideas for student projects related to CamFort
reprinter
Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
verifiable-expressions
camfort's Repositories
camfort/camfort
Light-weight verification and transformation tools for Fortran
camfort/fortran-src
Fortran parsing and static analysis infrastructure
camfort/reprinter
Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
camfort/verifiable-expressions
camfort/fortran-generator
Generate example Fortran programs of particular shapes to generate data on CamFort.
camfort/fortran-vars
Fortran memory model and other static analysis tools (building on fortran-src)
camfort/array-analyse
Analysis tool for array programming idioms in Fortran code (based on CamFort)
camfort/fortran-src-extras
Various utility functions and orphan instances which may be useful when using fortran-src.
camfort/camfort-ai
camfort/camfort.github.io
camfort/haskell-partial-order
Provides the PartialOrd typeclass for types admitting a partial order.
camfort/project-ideas
Ideas for student projects related to CamFort
camfort/allocate-analysis-example
Example Fortran analysis using fortran-src (inspect ALLOCATE, DEALLOCATE statement usage)
camfort/bulk-data-pattern-analysis
Pattern analysis tool for bulk data idioms in code.
camfort/camfort-analyse
Evaluation scripts for CamFort
camfort/fortran-src-aeson
Aeson instances for the Fortran AST data types in fortran-src.
camfort/fortran-src-repr
camfort/homebrew-camfort
Homebrew package formula for CamFort