camfort

icon indicating a website link http://camfort.github.io

icon location Tooling for the static analysis and verification of Fortran code (joint project between the University of Kent, University of Cambridge, and Bloomberg LP)

Results 3 repositories owned by camfort

camfort

121
Stars
15
Forks
Watchers

Light-weight verification and transformation tools for Fortran

verified publisher icon camfort

fortran-src

44
Stars
19
Forks
Watchers

Fortran parsing and static analysis infrastructure

verified publisher icon camfort

reprinter

26
Stars
3
Forks
Watchers

Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring

verified publisher icon camfort