3 search results for "tag:"static""

Showing 1 - 3
  1. goblint
    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.7.1
    MIT
    Used by 0 other packages
    27 Nov 2025
  2. raga
    Documentation
    Simple static site generator
    handlebars huml markdown static-site-generator
    kaustubh m <k@kaustubh.page>
    0.1.0
    MIT
    Used by 0 other packages
    16 Nov 2025
  3. 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