Repositories list

• verifiable-expressions

  Public
  Haskell

  •

  Apache License 2.0

  •2•4•0•0•Updated Aug 3, 2025Aug 3, 2025

• fortran-src

  Public
  Fortran parsing and static analysis infrastructure

  fortranstatic-analysisautomated-refactoring+ 2parserhaskell

  Haskell

  •

  Other

  •21•56•54•11•Updated Jul 21, 2025Jul 21, 2025

• fortran-src-extras

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

  haskellfortranstatic-analysis

  Haskell

  •

  Other

  •0•1•0•0•Updated Jul 3, 2025Jul 3, 2025

• camfort

  Public
  Light-weight verification and transformation tools for Fortran

  haskellfortranstatic-analysis+ 2verificationautomated-refactoring

  Haskell

  •

  Other

  •16•137•57•6•Updated Jan 9, 2025Jan 9, 2025

• camfort.github.io

  Public
  HTML

  •1•0•0•0•Updated Jun 7, 2024Jun 7, 2024

• fortran-vars

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

  haskellfortranstatic-analysis

  Haskell

  •

  Other

  •0•3•3•1•Updated Jul 19, 2023Jul 19, 2023

• allocate-analysis-example

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

  Haskell

  •

  MIT License

  •0•0•0•0•Updated May 17, 2023May 17, 2023

• fortran-src-aeson

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

  Haskell

  •0•0•0•0•Updated Dec 20, 2022Dec 20, 2022

• camfort-ai

  Public
  Python

  •0•0•0•0•Updated Dec 12, 2022Dec 12, 2022

• homebrew-camfort

  Public
  Homebrew package formula for CamFort

  Ruby

  •1•0•1•0•Updated Nov 14, 2022Nov 14, 2022

• fortran-src-repr

  Public
  Haskell

  •0•0•0•1•Updated Jun 30, 2022Jun 30, 2022

• reprinter

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

  Haskell

  •

  Other

  •3•27•0•2•Updated Apr 29, 2021Apr 29, 2021

• fortran-generator

  Public
  Generate example Fortran programs of particular shapes to generate data on CamFort.

  Haskell

  •0•2•0•0•Updated May 5, 2020May 5, 2020

• camfort-analyse

  Public
  Evaluation scripts for CamFort

  Haskell

  •

  Apache License 2.0

  •0•0•0•0•Updated Aug 20, 2019Aug 20, 2019

• haskell-partial-order

  Public
  Provides the PartialOrd typeclass for types admitting a partial order.

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •2•0•0•0•Updated Feb 7, 2019Feb 7, 2019

• bulk-data-pattern-analysis

  Public
  Pattern analysis tool for bulk data idioms in code.

  Haskell

  •0•0•0•0•Updated Jul 17, 2018Jul 17, 2018

• project-ideas

  Public
  Ideas for student projects related to CamFort

  0•0•0•0•Updated Dec 14, 2017Dec 14, 2017

• array-analyse

  Public
  Analysis tool for array programming idioms in Fortran code (based on CamFort)

  Haskell

  •0•1•2•0•Updated Aug 29, 2017Aug 29, 2017