OCaml Ocaml

Open-source OCaml projects categorized as Ocaml

Top 23 OCaml Ocaml Projects

  • reason

    Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

    Project mention: OCaml 5.0 Multicore is out | news.ycombinator.com | 2022-12-16
  • pyre-check

    Performant type-checking for python.

    Project mention: Ruby 3.2’s YJIT is Production-Ready | news.ycombinator.com | 2023-01-17

    Python now has an optional type system and if you add one of them such as mypy or pyre to your CI process and you can configure GitHub to refuse the pull request until types are added you can make it somewhat strongly typed.

    If you have a preexisting codebase I believe the way you can convert it is to add the types that you know on commits and eventually you will have enough types that adding the missing ones should be easy. For the missing ones Any is a good choice.

    https://pyre-check.org and https://github.com/python/mypy are popular.

  • SonarQube

    Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  • google-drive-ocamlfuse

    FUSE filesystem over Google Drive

    Project mention: How do you get google drive working on Ubuntu WITHOUT SNAPD! | reddit.com/r/Ubuntu | 2023-01-05
  • ocaml

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

    Project mention: How do I start contributing to OCaml? | reddit.com/r/ocaml | 2023-01-12

    I believe that u/octachron is interested in getting help refactoring the error-reporting logic in the compiler to produce more structured formats (typically JSON). There is an old PR from him about it, https://github.com/ocaml/ocaml/pull/9979 , and we want to revive it but maybe do things slightly different. If that sounds like something you would be interested in, you could just send him an email or pm.

  • mirage

    MirageOS is a library operating system that constructs unikernels

    Project mention: Container runtime as a static binary? | reddit.com/r/linux | 2023-01-21

    OCaml MirageOS? https://mirage.io/

  • bap

    Binary Analysis Platform

    Project mention: Any standard algorithms for parsing (disassembling) machine code? | reddit.com/r/compsci | 2022-05-13

    BAP (https://github.com/binaryanalysisplatform/bap), angr (https://angr.io/) and others already do what you're asking for as more purpose-built solutions for dynamic analysis. Angr specifically in python.

  • mina

    Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security. (by MinaProtocol)

    Project mention: The Dhall Configuration Language | news.ycombinator.com | 2022-07-14
  • InfluxDB

    Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.

  • merlin

    Context sensitive completion for OCaml in Vim and Emacs

    Project mention: Merlin: Context sensitive completion for OCaml in Vim and Emacs | reddit.com/r/ocaml | 2022-05-07
  • dune

    A composable build system for OCaml.

    Project mention: The YAML Document from Hell | news.ycombinator.com | 2023-01-12
  • opam

    opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

    Project mention: Some Pain Point of Linux From a Long-time Windows User | reddit.com/r/pop_os | 2022-12-29

    Regarding toolchain managers, those developing software with Rust would use rustup, OCaml developers would use opam, Haskell GHCup, and Python with pyenv. Likwise, Rust already uses cargo for package management, Python can use pip and venv, cabal for Haskell, and opam still for OCaml.

  • dream

    Tidy, feature-complete Web framework

    Project mention: Functional Reactive Programming | news.ycombinator.com | 2022-08-16

    > you might want to check out OCaml for general purpose programming

    Any tips on backend frameworks to look at? I need to write a small websocket service for a side-project and have always wanted to try OCaml. I came across https://github.com/aantron/dream.

  • SATySFi

    A statically-typed, functional typesetting system

    Project mention: Sile: A Modern Rewrite of TeX | news.ycombinator.com | 2022-11-03


    SATySFi (pronounced in the same way as the verb “satisfy” in English) is a new typesetting system equipped with a statically-typed, functional programming language. It consists mainly of two “layers” ― the text layer and the program layer. The former is for writing documents in LaTeX-like syntax. The latter, which has OCaml-like syntax, is for defining functions and commands. SATySFi enables you to write documents markuped with flexible commands of your own making. In addition, its informative type error reporting will be a good help to your writing.

    The main problem is that a lot of the documentation is in japanese.

  • caramel

    :candy: a functional language for building type-safe, scalable, and maintainable applications

  • js_of_ocaml

    Compiler from OCaml to Javascript.

    Project mention: Question about the Reason project in general | reddit.com/r/rescript | 2022-02-04

    In reality, most folks that developed BuckleScript frontends with ReasonML switched to ReScript syntax and are happy with it. Some felt more friction because of their reliance on PPXes or FP-heavy libraries (like Relude) and those people tend to use the Melange fork of BuckleScript or they switched to js_of_ocaml.

  • ocaml-multicore

    Multicore OCaml

  • ocaml-cohttp

    An OCaml library for HTTP clients and servers using Lwt or Async

    Project mention: Ocaml for web development | reddit.com/r/ocaml | 2022-02-13

    We (a small company creating specialized inventory management and e-commerce systems) use Dream for web development. Webmachine and Cohttp for creating RESTful APIs. HTTP-clients with Ocurl and Cohttp. We are very happy with our choice of technologies.

  • lwt

    OCaml promises and concurrent I/O

    Project mention: Ocaml for web development | reddit.com/r/ocaml | 2022-02-13

    Here is link number 1 - Previous text "Lwt"

  • angstrom

    Parser combinators built for speed and memory efficiency

    Project mention: Anyone have suggestions on how to parse recursive grammar elements with a parser generator? | reddit.com/r/ProgrammingLanguages | 2022-03-28

    Looking at the angstrom reference here I've explored a few ideas but none of them work.

  • httpaf

    A high performance, memory efficient, and scalable web server written in OCaml

  • ocamlformat

    Auto-formatter for OCaml code

  • ocaml-containers

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

    Project mention: Decy vreau sa învăț și eu un limbaj | reddit.com/r/programare | 2022-10-10

    YMMV. Există extensii: Base, Containers. Pentru I/O ai Lwt sau Async.

  • vult

    Vult is a transcompiler well suited to write high-performance DSP code

  • ocaml-torch

    OCaml bindings for PyTorch

    Project mention: OCaml-torch: OCaml bindings for PyTorch | news.ycombinator.com | 2022-06-15
  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-01-21.

OCaml Ocaml related posts


What are some of the best open-source Ocaml projects in OCaml? This list will help you:

Project Stars
1 reason 9,789
2 pyre-check 6,208
3 google-drive-ocamlfuse 4,868
4 ocaml 4,245
5 mirage 2,062
6 bap 1,766
7 mina 1,630
8 merlin 1,452
9 dune 1,302
10 opam 1,045
11 dream 1,018
12 SATySFi 995
13 caramel 983
14 js_of_ocaml 813
15 ocaml-multicore 754
16 ocaml-cohttp 604
17 lwt 602
18 angstrom 544
19 httpaf 519
20 ocamlformat 508
21 ocaml-containers 428
22 vult 377
23 ocaml-torch 372
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives