Explore GitHub

facebook / flow

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

OCaml • 304 stars this month • Built by

facebook / infer

A static analyzer for Java, C and Objective-C

OCaml • 167 stars this month • Built by

WebAssembly / spec

Staging ground for artifacts related to an MVP spec

OCaml • 91 stars this month • Built by

ocaml / ocaml

The core OCaml system: compilers, runtime system, base libraries

OCaml • 39 stars this month • Built by

mirage / ocaml-9p

An OCaml/Mirage-friendly implementation of the 9P protocol

OCaml • 28 stars this month • Built by

bloomberg / bucklescript

A backend for the OCaml compiler which emits JavaScript.

OCaml • 21 stars this month • Built by

astrada / google-drive-ocamlfuse

FUSE filesystem over Google Drive

OCaml • 20 stars this month • Built by

mirage / mirage

MirageOS is a library operating system that constructs unikernels

OCaml • 17 stars this month • Built by

the-lambda-church / merlin

Context sensitive completion for OCaml in Vim and Emacs

OCaml • 17 stars this month • Built by

mirage / irmin

Irmin is a distributed database that follows the same design principles as Git

OCaml • 16 stars this month • Built by

coq / coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

OCaml • 15 stars this month • Built by

ocsigen / js_of_ocaml

Compiler from OCaml to Javascript.

OCaml • 14 stars this month • Built by

janestreet / core

Jane Street Capital's standard library overlay

OCaml • 14 stars this month • Built by

c-cube / ocaml-containers

A lightweight, modular standard library extension, string library, and interfaces to various libraries (bigarrays, unix, etc.) BSD license.

OCaml • 14 stars this month • Built by

BinaryAnalysisPlatform / bap

BAP Core Library

OCaml • 14 stars this month • Built by

ocaml / opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

OCaml • 8 stars this month • Built by

pqwy / notty

Declarative terminal graphics for OCaml

OCaml • 13 stars this month • Built by

FStarLang / FStar

An ML-like language with a type system for program verification

OCaml • 11 stars this month • Built by

hannesm / jackline

terminal-based XMPP client purely in OCaml

OCaml • 10 stars this month • Built by

janestreet / core_kernel

Jane Street's standard library overlay (kernel)

OCaml • 8 stars this month • Built by

montyly / gueb

OCaml • 7 stars this month • Built by

mirleft / ocaml-tls

TLS in pure OCaml

OCaml • 6 stars this month • Built by

rgrinberg / opium

Sinatra like web toolkit for OCaml

OCaml • 6 stars this month • Built by

aantron / markup.ml

Error-recovering streaming HTML5 and XML parsers.

OCaml • 6 stars this month • Built by

coccinelle / coccinelle

Source code of the Coccinelle project

OCaml • 5 stars this month • Built by