camfort/fortran-src camfort/fortran-src

  • Stars
    star
    48
  • Rank 594,835 (Top 12 %)
  • Language
    Haskell
  • License
    Other
  • Created almost 9 years ago
  • Updated about 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
camfort/fortran-src
github

camfort

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Fortran parsing and static analysis infrastructure

More Repositories

1

camfort

Light-weight verification and transformation tools for Fortran
Haskell
126
star
2

reprinter

Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
Haskell
26
star
3

verifiable-expressions

Haskell
4
star
4

fortran-vars

Fortran memory model and other static analysis tools (building on fortran-src)
Haskell
2
star
5

fortran-generator

Generate example Fortran programs of particular shapes to generate data on CamFort.
Haskell
2
star
6

array-analyse

Analysis tool for array programming idioms in Fortran code (based on CamFort)
Haskell
1
star
7

fortran-src-extras

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