Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Ocaml Open Source Projects

Open source projects categorized as Ocaml
Infer ⭐ 14,568
A static analyzer for Java, C, C++, and Objective-C
dependent packages 25total releases 8most recent commit a year ago
Reason ⭐ 10,176
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
dependent packages 88total releases 19most recent commit 4 months agonpm @esy-ocaml/reason} Downloads
Awesomo ⭐ 9,084
Cool open source projects. Choose your project and get involved in Open Source development now.
most recent commit a year ago
Revery ⭐ 8,062
⚡ Native, high-performance, cross-platform desktop apps - built with Reason!
dependent packages 2total releases 41most recent commit 3 years agonpm revery} Downloads
Oni2 ⭐ 7,238
Native, lightweight modal code editor
most recent commit 3 years ago
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77most recent commit a year agopypi pyre-check} Downloads
Google Drive Ocamlfuse ⭐ 5,197
FUSE filesystem over Google Drive
most recent commit a year ago
Ocaml ⭐ 5,022
The core OCaml system: compilers, runtime system, base libraries
dependent packages 4total releases 4most recent commit a year ago
Coq ⭐ 4,501
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 a year ago
Extism ⭐ 3,288
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
dependent packages 8total releases 22most recent commit a year agocargo extism} Downloads
Grain ⭐ 3,107
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
dependent packages 2total releases 24most recent commit a year agonpm @grain/stdlib} Downloads
Klipse ⭐ 2,975
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
dependent packages 2total releases 56most recent commit 2 years agonpm klipse} Downloads
Awesome Ocaml ⭐ 2,875
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
most recent commit a month ago
Functional Programming ⭐ 2,568
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
most recent commit 6 years ago
Fstar ⭐ 2,522
A Proof-oriented Programming Language
most recent commit a year ago
Mirage ⭐ 2,377
MirageOS is a library operating system that constructs unikernels
most recent commit a year ago
Fastpack ⭐ 2,266
Pack JS code fast & easy
dependent packages 6total releases 23most recent commit 2 years agonpm fpack} Downloads
Bap ⭐ 2,071
Binary Analysis Platform
most recent commit 7 months ago
Comby ⭐ 1,996
A code rewrite tool for structural search and replace that supports ~every language.
most recent commit 2 years ago
Mina ⭐ 1,978
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
dependent packages 4total releases 10most recent commit 7 months agonpm @o1labs/client-sdk} Downloads
Cpbook Code ⭐ 1,859
CP4 Free Source Code Project (C++17, Java11, Python3 and OCaml)
most recent commit a year ago
Irmin ⭐ 1,746
Irmin is a distributed database that follows the same design principles as Git
total releases 2most recent commit a year ago
Nvim Treesitter Textobjects ⭐ 1,688
most recent commit a year ago
The 10 Most Depended On Ocaml Open Source Projects
Bs Json ⭐ 272
Compositional JSON encode/decode library for BuckleScript
dependent packages 92total releases 17latest release June 20, 2021most recent commit a year agonpm @glennsl/bs-json} Downloads
Reason ⭐ 10,176
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
dependent packages 88total releases 19latest release March 01, 2021most recent commit 4 months agonpm @esy-ocaml/reason} Downloads
Bs Webapi Incubator ⭐ 298
BuckleScript bindings to the DOM and other Web APIs
dependent packages 77total releases 47latest release August 17, 2020most recent commit 3 years agonpm bs-webapi} Downloads
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77latest release October 19, 2023most recent commit a year agopypi pyre-check} Downloads
Bs Mocha ⭐ 5
dependent packages 29total releases 11latest release August 16, 2019most recent commit 5 years agonpm bs-mocha} Downloads
Infer ⭐ 14,568
A static analyzer for Java, C, C++, and Objective-C
dependent packages 25total releases 8latest release June 09, 2020most recent commit a year ago
Relude ⭐ 269
FP-inspired prelude/standard library for ReasonML projects
dependent packages 17total releases 72latest release June 16, 2022most recent commit 2 years agonpm relude} Downloads
Graphql_ppx ⭐ 324
GraphQL PPX rewriter for Bucklescript/ReasonML
dependent packages 15total releases 12latest release October 31, 2018most recent commit 5 years agonpm graphql_ppx} Downloads
Bisect_ppx ⭐ 289
Code coverage for OCaml and ReScript
dependent packages 13total releases 17latest release June 25, 2023most recent commit a year agonpm bisect_ppx} Downloads
The 10 Latest Releases In Ocaml Open Source Projects
Slipshow ⭐ 21
An engine for displaying slips, the next-gen version of slides
dependent packages 1total releases 26latest release December 01, 2023most recent commit a year agonpm slipshow} Downloads
Nearest_neighbour ⭐ 27
Golang implementation of k-NN algorithm (for k = 1)
latest release November 18, 2023most recent commit 10 years ago
Styled Ppx ⭐ 380
Type-safe styled components for ReScript and Melange with type-safe CSS
dependent packages 4total releases 385latest release November 07, 2023most recent commit a year agonpm @davesnx/styled-ppx} Downloads
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77latest release October 19, 2023most recent commit a year agopypi pyre-check} Downloads
Typed Css Classes ⭐ 11
Type-safe css modules for ReScript
total releases 2latest release July 03, 2023most recent commit 2 years ago
Bisect_ppx ⭐ 289
Code coverage for OCaml and ReScript
dependent packages 13total releases 17latest release June 25, 2023most recent commit a year agonpm bisect_ppx} Downloads
Ocaml Gen ⭐ 9
This crate provides automatic generation of OCaml bindings. Refer to the rustdoc for more information.
dependent packages 1total releases 6latest release June 21, 2023most recent commit a year agocargo ocaml-gen-derive} Downloads
Ainur ⭐ 20
:milky_way: Detect compiler names and versions from ELF files
dependent packages 2total releases 13latest release March 10, 2023most recent commit a year ago
Grain ⭐ 3,107
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
dependent packages 2total releases 24latest release January 08, 2023most recent commit a year agonpm @grain/stdlib} Downloads
Popular Programming Languages Categories
Javascript
Python
Java
Typescript
Php
C Plus Plus
Golang
C
Ruby
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

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

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