Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 10 Ocaml Open Source Projects

Open source projects categorized as Ocaml
Edit Category
facebook/flow ⭐ 22,033
Adds static typing to JavaScript to improve developer productivity and code quality.
dependent packages 0 total releases 0 most recent commit about 2 years ago
facebook/infer ⭐ 14,568
A static analyzer for Java, C, C++, and Objective-C
dependent packages 0 total releases 0 most recent commit about 2 years ago
hmemcpy/milewski-ctfp-pdf ⭐ 10,547
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
dependent packages 0 total releases 0 most recent commit over 2 years ago
reasonml/reason ⭐ 10,012
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
dependent packages 0 total releases 0 most recent commit over 2 years ago
Z3Prover/z3 ⭐ 9,481
The Z3 Theorem Prover
dependent packages 0 total releases 0 most recent commit about 2 years ago
lk-geimfari/awesomo ⭐ 9,084
Cool open source projects. Choose your project and get involved in Open Source development now.
dependent packages 0 total releases 0 most recent commit over 2 years ago
revery-ui/revery ⭐ 7,863
:zap: Native, high-performance, cross-platform desktop apps - built with Reason!
dependent packages 0 total releases 0 most recent commit about 4 years ago
onivim/oni2 ⭐ 7,238
Native, lightweight modal code editor
dependent packages 0 total releases 0 most recent commit over 3 years ago
facebook/pyre-check ⭐ 6,606
Performant type-checking for python.
dependent packages 0 total releases 0 most recent commit about 2 years ago
rescript-lang/rescript-compiler ⭐ 6,334
The compiler for ReScript.
dependent packages 0 total releases 0 most recent commit about 2 years ago
Get A Weekly Email With Trending Ocaml Projects
No Spam. Unsubscribe easily at any time.
Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2026 Awesome Open Source.  All rights reserved.