camfort

All

18 repositories

camfort
Public
Light-weight verification and transformation tools for Fortran
haskell fortran static-analysis verification automated-refactoring
Haskell
•
Other
•15•127•55•6•Updated Jan 9, 2025Jan 9, 2025
fortran-src
Public
Fortran parsing and static analysis infrastructure
fortran static-analysis automated-refactoring parser haskell
Haskell
•
Other
•20•49•49•8•Updated Dec 13, 2024Dec 13, 2024
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)
haskell fortran static-analysis
Haskell
•
Other
•0•2•3•1•Updated Jul 19, 2023Jul 19, 2023
fortran-src-extras
Public
Various utility functions and orphan instances which may be useful when using fortran-src.
haskell fortran static-analysis
Haskell
•
Other
•0•1•0•1•Updated Jul 18, 2023Jul 18, 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
verifiable-expressions
Public
Haskell
•
Apache License 2.0
•1•4•0•0•Updated Oct 12, 2022Oct 12, 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•26•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