6 search results for "author:"Simmo Saan""

Showing 1 - 6
  1. arg-complete
    Documentation
    Bash completion support for Stdlib.Arg
    Simmo Saan <simmo.saan@gmail.com>
    0.1.0
    MIT
    Used by 1 other packages
    30 Mar 2022
  2. 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.4.0
    MIT
    Used by 0 other packages
    06 Aug 2024
  3. goblint-cil
    Documentation
    A front-end for the C programming language that facilitates program analysis and transformation
    George Necula Scott McPeak Westley Weimer Gabriel Kerneis Ralf Vogler et al.
    2.0.4
    BSD-3-Clause
    Used by 3 other packages
    02 Aug 2024
  4. odep
    Documentation
    Dependency graphs for OCaml modules, libraries and packages
    Simmo Saan
    0.2.1
    MIT
    Used by 0 other packages
    17 Apr 2024
  5. ppx_deriving_hash
    Documentation
    [@@deriving hash]
    Simmo Saan <simmo.saan@gmail.com>
    0.1.2
    MIT
    Used by 1 other packages
    08 Mar 2024
  6. ppx_viewpattern
    Documentation
    View patterns in OCaml
    Simmo Saan <simmo.saan@gmail.com>
    0.1.0
    MIT
    Used by 0 other packages
    14 Mar 2022