Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Ocaml Open Source Projects

Open source projects categorized as Ocaml
Flow ⭐ 21,992
Adds static typing to JavaScript to improve developer productivity and code quality.
dependent packages 569total releases 137most recent commit a day agonpm flow-remove-types} Downloads
Infer ⭐ 14,061
A static analyzer for Java, C, C++, and Objective-C
dependent packages 7total releases 8most recent commit 13 hours ago
Milewski Ctfp Pdf ⭐ 10,186
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
most recent commit 20 days ago
Reason ⭐ 9,866
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
dependent packages 83total releases 19most recent commit 14 days agonpm @esy-ocaml/reason} Downloads
Awesomo ⭐ 8,939
Cool open source projects written in various languages.
most recent commit 15 hours ago
Z3 ⭐ 8,787
The Z3 Theorem Prover
dependent packages 51total releases 27most recent commit a day agopypi z3-solver} Downloads
Semgrep ⭐ 8,266
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
dependent packages 4total releases 133most recent commit 13 hours agopypi semgrep} Downloads
Revery ⭐ 7,863
⚡️ Native, high-performance, cross-platform desktop apps - built with Reason!
dependent packages 1total releases 41most recent commit a year agonpm revery} Downloads
Oni2 ⭐ 7,238
Native, lightweight modal code editor
most recent commit 10 months ago
Pyre Check ⭐ 6,364
Performant type-checking for python.
dependent packages 10total releases 74most recent commit a day agopypi pyre-check} Downloads
Google Drive Ocamlfuse ⭐ 4,870
FUSE filesystem over Google Drive
most recent commit 5 months ago
Ocaml ⭐ 4,482
The core OCaml system: compilers, runtime system, base libraries
dependent packages 3total releases 4most recent commit 14 hours ago
Coq ⭐ 4,232
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.
dependent packages 1total releases 4most recent commit 13 hours ago
Batsh ⭐ 4,212
A language that compiles to Bash and Windows Batch
most recent commit a month ago
Magic Trace ⭐ 3,958
magic-trace collects and displays high-resolution traces of what a process is doing
most recent commit 5 months ago
Unison ⭐ 3,028
Unison file synchronizer
most recent commit 9 days ago
Klipse ⭐ 2,975
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
total releases 56most recent commit 8 months ago
Grain ⭐ 2,960
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
total releases 14most recent commit 4 days ago
Functional Programming ⭐ 2,568
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
most recent commit 4 years ago
Fstar ⭐ 2,425
A Proof-oriented Programming Language
most recent commit a day ago
Awesome Ocaml ⭐ 2,423
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
most recent commit 16 days ago
Fastpack ⭐ 2,266
Pack JS code fast & easy
dependent packages 4total releases 23most recent commit 5 months agonpm fpack} Downloads
Extism ⭐ 2,215
The Universal Plug-in System. Extend anything with WebAssembly (wasm).
dependent packages 3total releases 3most recent commit 2 days agocargo extism-manifest} Downloads
The 10 Most Depended On Ocaml Open Source Projects
Flow ⭐ 21,992
Adds static typing to JavaScript to improve developer productivity and code quality.
dependent packages 569total releases 137latest release September 20, 2022most recent commit a day agonpm flow-remove-types} Downloads
Reason ⭐ 9,866
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
dependent packages 83total releases 19latest release March 01, 2021most recent commit 14 days agonpm @esy-ocaml/reason} Downloads
Z3 ⭐ 8,787
The Z3 Theorem Prover
dependent packages 51total releases 27latest release July 06, 2022most recent commit a day agopypi z3-solver} Downloads
Snarky ⭐ 448
OCaml DSL for verifiable computation
dependent packages 11total releases 29latest release October 10, 2022most recent commit a month agonpm snarkyjs} Downloads
Pyre Check ⭐ 6,364
Performant type-checking for python.
dependent packages 10total releases 74latest release June 30, 2022most recent commit a day agopypi pyre-check} Downloads
Infer ⭐ 14,061
A static analyzer for Java, C, C++, and Objective-C
dependent packages 7total releases 8latest release June 09, 2020most recent commit 13 hours ago
Esy ⭐ 810
package.json workflow for native development with Reason/OCaml
dependent packages 5total releases 154latest release March 02, 2022most recent commit 16 hours agonpm esy} Downloads
Tablecloth ⭐ 503
A standard library with the same API in F#, Rescript and OCaml
dependent packages 4total releases 7latest release May 09, 2020most recent commit 4 months agonpm tablecloth-bucklescript} Downloads
Fastpack ⭐ 2,266
Pack JS code fast & easy
dependent packages 4total releases 23latest release October 29, 2018most recent commit 5 months agonpm fpack} Downloads
Semgrep ⭐ 8,266
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
dependent packages 4total releases 133latest release July 05, 2022most recent commit 13 hours agopypi semgrep} Downloads
The 10 Latest Releases In Ocaml Open Source Projects
Snarky ⭐ 448
OCaml DSL for verifiable computation
dependent packages 11total releases 29latest release October 10, 2022most recent commit a month agonpm snarkyjs} Downloads
Flow ⭐ 21,992
Adds static typing to JavaScript to improve developer productivity and code quality.
dependent packages 569total releases 137latest release September 20, 2022most recent commit a day agonpm flow-remove-types} Downloads
Extism ⭐ 2,215
The Universal Plug-in System. Extend anything with WebAssembly (wasm).
dependent packages 3total releases 3latest release September 13, 2022most recent commit 2 days agocargo extism-manifest} Downloads
Grain ⭐ 2,960
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
total releases 14latest release August 05, 2022most recent commit 4 days ago
Z3 ⭐ 8,787
The Z3 Theorem Prover
dependent packages 51total releases 27latest release July 06, 2022most recent commit a day agopypi z3-solver} Downloads
Semgrep ⭐ 8,266
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
dependent packages 4total releases 133latest release July 05, 2022most recent commit 13 hours agopypi semgrep} Downloads
Pyre Check ⭐ 6,364
Performant type-checking for python.
dependent packages 10total releases 74latest release June 30, 2022most recent commit a day agopypi pyre-check} Downloads
Irmin ⭐ 1,699
Irmin is a distributed database that follows the same design principles as Git
total releases 2latest release March 30, 2022most recent commit 14 hours ago
Vpnkit ⭐ 1,025
A toolkit for embedding VPN capabilities in your application
dependent packages 2total releases 16latest release March 05, 2022most recent commit a month ago
Esy ⭐ 810
package.json workflow for native development with Reason/OCaml
dependent packages 5total releases 154latest release March 02, 2022most recent commit 16 hours agonpm esy} Downloads
Popular Programming Languages Categories
Javascript
Python
Java
Typescript
Php
C Plus Plus
Ruby
C
Shell
C Sharp
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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