@camfort
Guthub

camfort

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    204
  • Global Org. Rank 39,975 (Top 13 %)
  • Registered over 8 years ago
  • Most used languages
    Haskell
         100.0 %

Top repositories

1

camfort

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

fortran-src

Fortran parsing and static analysis infrastructure
Haskell
48
star
3

reprinter

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

verifiable-expressions

Haskell
4
star
5

fortran-vars

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

fortran-generator

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

array-analyse

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

fortran-src-extras

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