Haskell Static Analysis

Open-source Haskell projects categorized as Static Analysis

Top 6 Haskell Static Analysis Projects

Static Analysis
  1. ShellCheck

    ShellCheck, a static analysis tool for shell scripts

    Project mention: Shellcheck | news.ycombinator.com | 2025-04-16
  2. InfluxDB

    InfluxDB high-performance time series database. Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.

    InfluxDB logo
  3. hadolint

    Dockerfile linter, validate inline bash, written in Haskell

    Project mention: Dockerfile Best Practices: The Ultimate Guide to Optimizing Your Container Builds | dev.to | 2025-03-17

    [Source: Hadolint on GitHub]

  4. stan

    🕵️ Haskell STatic ANalyser (by kowainik)

  5. camfort

    Light-weight verification and transformation tools for Fortran

  6. fortran-src

    Fortran parsing and static analysis infrastructure

  7. maam

    A monadic approach to static analysis following the methodology of AAM

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Haskell Static Analysis discussion

Log in or Post with

Haskell Static Analysis related posts

  • Shellcheck

    1 project | news.ycombinator.com | 16 Apr 2025
  • TIL: Some surprising code execution sources in bash

    1 project | news.ycombinator.com | 22 Nov 2024
  • New shell scripting language, a new tablet, and in-product messaging

    2 projects | dev.to | 24 May 2024
  • Ask HN: Is there a GUI for bash shell?

    2 projects | news.ycombinator.com | 19 Apr 2024
  • Ask HN: Popular open source tool originally written in Haskell?

    3 projects | news.ycombinator.com | 10 Feb 2024
  • Ask HN: A Bash guide for Posix programmers?

    1 project | news.ycombinator.com | 17 Dec 2023
  • Regex support to list modules in .cabal?

    1 project | /r/haskell | 4 Dec 2023
  • A note from our sponsor - CodeRabbit
    coderabbit.ai | 25 Apr 2025
    Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR. Learn more →

Index

What are some of the best open-source Static Analysis projects in Haskell? This list will help you:

# Project Stars
1 ShellCheck 37,244
2 hadolint 10,870
3 stan 580
4 camfort 132
5 fortran-src 52
6 maam 18

Sponsored
InfluxDB high-performance time series database
Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.
influxdata.com

Did you know that Haskell is
the 25th most popular programming language
based on number of references?