Skip to content
View zu1k's full-sized avatar
🦉
make something interesting
🦉
make something interesting
3.4k followers · 44 following

Sponsors

@missuo

Achievements

Achievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Galaxy BrainAchievement: Starstruckx4Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Galaxy BrainAchievement: Starstruckx4Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

Organizations

@mosn @beyondstorage

Block or report zu1k

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Lists (19)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Starred repositories

4 stars written in OCaml
Clear filter

facebook / infer

A static analyzer for Java, C, C++, and Objective-C

OCaml 15,514 2,068 Updated Feb 5, 2026

semgrep / semgrep

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

OCaml 14,053 872 Updated Feb 5, 2026

BinaryAnalysisPlatform / bap

Binary Analysis Platform

OCaml 2,211 282 Updated Apr 30, 2025

airbus-seclab / bincat

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

OCaml 1,846 169 Updated Feb 25, 2025

Starred topics

See all starred topics