5 search results for "tag:"static""

Showing 1 - 5
  1. goblint

    No documentation

    Static analysis framework for C
    program analysis program verification static analysis abstract interpretation C data race analysis concurrency
    Simmo Saan Michael Schwarz Julian Erhard Sarah Tilscher Karoliine Holter et al.
    2.8.0
    MIT
    Used by 0 other packages
    15 Jun 2026
  2. ppx_enforce

    No documentation

    PPX that enforces required function calls at compile time
    ppx lint static-analysis
    Mathias Bourgoin <mathias.bourgoin@atacama.tech>
    0.1.0
    GPL-3.0-or-later
    Used by 1 other packages
    06 May 2026
  3. ppx_forbid

    No documentation

    PPX that forbids specific function calls or modules at compile time
    ppx lint static-analysis
    Mathias Bourgoin <mathias.bourgoin@atacama.tech>
    0.1.0
    GPL-3.0-or-later
    Used by 1 other packages
    06 May 2026
  4. raga
    Documentation
    Simple static site generator
    handlebars huml markdown static-site-generator
    kaustubh m <k@kaustubh.page>
    0.1.1
    MIT
    Used by 0 other packages
    23 Jan 2026
  5. yocaml_cmark
    Documentation
    YOCaml Common Mark processor
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com> Pierre Ruyter <grimfw@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023