Pinned

1. camfort camfort Public

   Light-weight verification and transformation tools for Fortran

   Haskell 121 15

2. fortran-src fortran-src Public

   Fortran parsing and static analysis infrastructure

   Haskell 44 19

3. fortran-src-extras fortran-src-extras Public

   Various utility functions and orphan instances which may be useful when using fortran-src.

   Haskell 1

4. fortran-vars fortran-vars Public

   Fortran memory model and other static analysis tools (building on fortran-src)

   Haskell 2

5. reprinter reprinter Public

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

   Haskell 26 3