GitHub repository: DaimyoHub/Semverif
Primary language: OCaml
Created: 2025-05-16T17:06:19Z
Description: A toy C static analyzer for a school project