Skip to content
View raakasf's full-sized avatar
24 followers · 118 following

Achievements

Achievement: Public SponsorAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Public SponsorAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report raakasf

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

Lists (2)

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

Starred repositories

5 stars written in OCaml
Clear filter

facebook / infer

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

OCaml 15,057 2,026 Updated Jan 14, 2025

semgrep / semgrep

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

OCaml 10,894 643 Updated Jan 15, 2025

facebook / pyre-check

Performant type-checking for python.

OCaml 6,896 441 Updated Jan 15, 2025

mirage / mirage

MirageOS is a library operating system that constructs unikernels

OCaml 2,599 254 Updated Jan 9, 2025

goodell / cppmem

totally unofficial git repo containing sources for the CppMem tool available at http://svr-pes20-cppmem.cl.cam.ac.uk/cppmem/help.html and discussed in the Batty et al. paper at POPL 2011 (http://ww…

OCaml 24 3 Updated Feb 15, 2013

Starred topics