Skip to content
View wuxxin's full-sized avatar
29 followers · 18 following

Achievements

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

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
Block or Report

Block or report wuxxin

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
Type: All
Language: OCaml
Sort by: Most stars

Starred repositories

9 stars written in OCaml
Clear filter

facebook / pyre-check

Performant type-checking for python.

OCaml 6,762 434 Updated Jul 29, 2024

astrada / google-drive-ocamlfuse

FUSE filesystem over Google Drive

OCaml 5,485 349 Updated Apr 14, 2024

bcpierce00 / unison

Unison file synchronizer

OCaml 3,919 225 Updated Jun 10, 2024

coccinelle / coccinelle

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

OCaml 602 101 Updated Jul 20, 2024

jaredly / gravitron

a little game

OCaml 489 18 Updated Oct 20, 2023

mirage / qubes-mirage-firewall

A Mirage firewall VM for QubesOS

OCaml 207 28 Updated May 22, 2024

darrenldl / docfd

TUI multiline fuzzy document finder

OCaml 200 4 Updated Jul 29, 2024

robur-coop / caldav

Calendar server (CalDAV, RFC 4791) implementation in OCaml

OCaml 59 6 Updated Jul 17, 2024

winter2020 / oo7

oo7, a binary analysis tool to defend against Spectre vulnerabilities

OCaml 30 3 Updated Oct 16, 2020

Starred topics

See all starred topics