Skip to content
@camfort

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 Loading

  1. camfort camfort Public

    Light-weight verification and transformation tools for Fortran

    Haskell 127 15

  2. fortran-src fortran-src Public

    Fortran parsing and static analysis infrastructure

    Haskell 49 20

  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

Repositories

Showing 10 of 18 repositories
  • fortran-src Public

    Fortran parsing and static analysis infrastructure

    camfort/fortran-src’s past year of commit activity
    Haskell 49 20 49 8 Updated Dec 13, 2024
  • camfort Public

    Light-weight verification and transformation tools for Fortran

    camfort/camfort’s past year of commit activity
    Haskell 127 15 57 6 Updated Oct 10, 2024
  • camfort.github.io Public
    camfort/camfort.github.io’s past year of commit activity
    HTML 0 1 0 0 Updated Jun 7, 2024
  • fortran-vars Public

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

    camfort/fortran-vars’s past year of commit activity
    Haskell 2 0 3 1 Updated Jul 19, 2023
  • fortran-src-extras Public

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

    camfort/fortran-src-extras’s past year of commit activity
    Haskell 1 0 0 1 Updated Jul 18, 2023
  • allocate-analysis-example Public

    Example Fortran analysis using fortran-src (inspect ALLOCATE, DEALLOCATE statement usage)

    camfort/allocate-analysis-example’s past year of commit activity
    Haskell 0 MIT 0 0 0 Updated May 17, 2023
  • fortran-src-aeson Public archive

    Aeson instances for the Fortran AST data types in fortran-src.

    camfort/fortran-src-aeson’s past year of commit activity
    Haskell 0 0 0 0 Updated Dec 20, 2022
  • camfort-ai Public
    camfort/camfort-ai’s past year of commit activity
    Python 0 0 0 0 Updated Dec 12, 2022
  • homebrew-camfort Public

    Homebrew package formula for CamFort

    camfort/homebrew-camfort’s past year of commit activity
    Ruby 0 1 1 0 Updated Nov 14, 2022
  • verifiable-expressions Public
    camfort/verifiable-expressions’s past year of commit activity
    Haskell 4 Apache-2.0 1 0 0 Updated Oct 12, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…