Sponsor Star dmtrKovalenko / odiff The fastest pixel-by-pixel image visual difference tool in the world. OCaml 1,848 69 Built by 16 stars today
Star facebook / infer A static analyzer for Java, C, C++, and Objective-C OCaml 14,713 1,998 Built by 4 stars today
Star MinaProtocol / mina Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security. OCaml 1,943 510 Built by 1 star today
Star ocaml / ocaml The core OCaml system: compilers, runtime system, base libraries OCaml 5,168 1,061 Built by 3 stars today
Star janestreet / magic-trace magic-trace collects and displays high-resolution traces of what a process is doing OCaml 4,446 84 Built by 3 stars today
Star facebook / flow Adds static typing to JavaScript to improve developer productivity and code quality. OCaml 22,074 1,844 Built by 0 stars today
Star anwarmamat / cmsc330spring2024 Lecture notes and examples for the CMSC330 Spring 2024 OCaml 8 1 Built by 0 stars today
Star astrada / google-drive-ocamlfuse FUSE filesystem over Google Drive OCaml 5,365 344 Built by 0 stars today
Star mikeshulman / narya A proof assistant for higher-dimensional type theory OCaml 103 3 Built by 1 star today
Star ocaml / merlin Context sensitive completion for OCaml in Vim and Emacs OCaml 1,544 228 Built by 0 stars today
Star ocaml-flambda / flambda-backend The Flambda backend project for OCaml OCaml 84 61 Built by 0 stars today
Star semgrep / semgrep Lightweight static analysis for many languages. Find bug variants with patterns that look like source code. OCaml 9,743 559 Built by 3 stars today