Skip to content
View spoorcc's full-sized avatar
19 followers · 26 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report spoorcc

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

3 stars written in OCaml
Clear filter

semgrep / semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

OCaml 11,221 663 Updated Feb 28, 2025

facebook / pyre-check

Performant type-checking for python.

OCaml 6,934 445 Updated Feb 28, 2025

Frama-C / Frama-C-snapshot

Release snapshots of the Frama-C platform for source code analysis

OCaml 171 38 Updated Oct 21, 2020