Skip to content
View choncan's full-sized avatar
7 followers · 30 following

Block or report choncan

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

Stars

10 stars written in OCaml
Clear filter

facebook / flow

Adds static typing to JavaScript to improve developer productivity and code quality.

OCaml 22,207 1,886 Updated Dec 25, 2025

facebook / infer

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

OCaml 15,465 2,065 Updated Dec 23, 2025

astrada / google-drive-ocamlfuse

FUSE filesystem over Google Drive

OCaml 5,836 363 Updated Oct 26, 2025

facebookarchive / pfff

Tools for code analysis, visualizations, or style-preserving source transformation.

OCaml 2,440 204 Updated Mar 27, 2019

ocaml / merlin

Context sensitive completion for OCaml in Vim and Emacs

OCaml 1,654 245 Updated Dec 20, 2025

janestreet / core

Jane Street Capital's standard library overlay

OCaml 1,194 124 Updated Nov 20, 2025

ocaml-multicore / eio

Effects-based direct-style IO for multicore OCaml

OCaml 664 80 Updated Nov 4, 2025

jrh13 / hol-light

The HOL Light theorem prover

OCaml 490 84 Updated Dec 11, 2025

LaurentMazare / ocaml-torch

OCaml bindings for PyTorch

OCaml 433 37 Updated Oct 17, 2024

janestreet / ecaml

Writing Emacs plugin in OCaml

OCaml 282 12 Updated Nov 20, 2025