Open source projects in OCaml

  • tomprimozic/type-systems

    Implementations of various type systems in OCaml.

    ☕OCaml   ★1096 stars   ⚠8 open issues   ⚭2 contributors   ☯almost 5 years old  
  • facebook/flow

    Adds static typing to JavaScript to improve developer productivity and code quality.

    ☕OCaml   ★15700 stars   ⚠2083 open issues   ⚭130 contributors   ☯about 4 years old  
  • conreality/consensus

    Don't panic, it's just a game.

    ☕OCaml   ★13 stars   ⚠5 open issues   ⚭2 contributors   ☯about 3 years old  
  • qwert42/Towel

    A postfix, stack-based, functional programming (, probably slow) language

    ☕OCaml   ★5 stars   ⚠0 open issues   ⚭1 contributors   ☯about 3 years old  
  • facebook/pfff

    Tools for code analysis, visualizations, or style-preserving source transformation.

    ☕OCaml   ★2171 stars   ⚠32 open issues   ⚭36 contributors   ☯about 8 years old  
  • ocaml/opam

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

    ☕OCaml   ★627 stars   ⚠158 open issues   ⚭61 contributors   ☯almost 7 years old  
  • gfngfn/Macrodown

    A statically-typed, functional typesetting system

    ☕OCaml   ★332 stars   ⚠24 open issues   ⚭2 contributors   ☯over 3 years old  
  • mirage/mirage

    MirageOS is a library operating system that constructs unikernels

    ☕OCaml   ★1037 stars   ⚠78 open issues   ⚭21 contributors   ☯about 9 years old  
  • mirage/irmin

    Irmin is a distributed database that follows the same design principles as Git

    ☕OCaml   ★846 stars   ⚠46 open issues   ⚭16 contributors   ☯over 5 years old  
  • djs55/ocaml-fd-send-recv

    Bindings which allow Unix.file_descrs to be sent and received over Unix domain sockets

    ☕OCaml   ★6 stars   ⚠2 open issues   ⚭2 contributors   ☯almost 6 years old  
  • ocsigen/js_of_ocaml

    Compiler from OCaml to Javascript.

    ☕OCaml   ★395 stars   ⚠48 open issues   ⚭45 contributors   ☯over 5 years old  
  • cryptosense/ocamllint

    Detect common errors in OCaml code

    ☕OCaml   ★59 stars   ⚠6 open issues   ⚭1 contributors   ☯almost 3 years old  
  • nv-vn/otp

    F#-style Type Providers in OCaml

    ☕OCaml   ★20 stars   ⚠1 open issues   ⚭1 contributors   ☯almost 3 years old  
  • facebook/infer

    A static analyzer for Java, C, C++, and Objective-C

    ☕OCaml   ★8192 stars   ⚠175 open issues   ⚭21 contributors   ☯almost 4 years old  
  • talex5/qubes-mirage-firewall

    A Mirage firewall VM for QubesOS

    ☕OCaml   ★77 stars   ⚠7 open issues   ⚭1 contributors   ☯almost 3 years old  
  • BYVoid/Batsh

    A language that compiles to Bash and Windows Batch

    ☕OCaml   ★3499 stars   ⚠38 open issues   ⚭4 contributors   ☯over 5 years old  
  • bloomberg/ocamlscript

    A backend for the OCaml compiler which emits JavaScript.

    ☕OCaml   ★3464 stars   ⚠323 open issues   ⚭4 contributors   ☯almost 3 years old  
  • onlinemediagroup/ocaml-usbmux

    Connect to your iDevices over USB at scale

    ☕OCaml   ★86 stars   ⚠8 open issues   ⚭1 contributors   ☯almost 3 years old  
  • mirage/mirage-platform

    Core platform libraries for Mirage (UNIX and Xen). This provides the `OS` library which handles timers, device setup and the main loop, as well as the runtime for the Xen unikernel.

    ☕OCaml   ★83 stars   ⚠9 open issues   ⚭15 contributors   ☯over 6 years old  
  • nv-vn/OCamlCSVProvider

    F# CSV type provider ported to OCaml

    ☕OCaml   ★11 stars   ⚠0 open issues   ⚭2 contributors   ☯almost 3 years old  
  • realworldocaml/examples

    All the examples in Real World OCaml

    ☕OCaml   ★276 stars   ⚠32 open issues   ⚭4 contributors   ☯over 5 years old  
  • Chris00/ocaml-csv

    CSV library for OCaml

    ☕OCaml   ★54 stars   ⚠0 open issues   ⚭5 contributors   ☯about 4 years old  
  • ocaml/ocaml

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

    ☕OCaml   ★1738 stars   ⚠160 open issues   ⚭52 contributors   ☯about 6 years old  
  • inhabitedtype/ocaml-aws

    Generated OCaml bindings for Amazon Web Services

    ☕OCaml   ★59 stars   ⚠10 open issues   ⚭2 contributors   ☯almost 3 years old  
  • pelzlpj/capnp-ocaml

    OCaml code generator plugin for the Cap'n Proto serialization framework

    ☕OCaml   ★49 stars   ⚠5 open issues   ⚭3 contributors   ☯almost 5 years old  
  • timbertson/passe

    SuperGenPass-compatible password utility

    ☕OCaml   ★3 stars   ⚠0 open issues   ⚭1 contributors   ☯about 4 years old  
  • LexiFi/dead_code_analyzer

    Dead-code analyzer for OCaml

    ☕OCaml   ★52 stars   ⚠3 open issues   ⚭3 contributors   ☯almost 4 years old  
  • mahsu/MariOCaml

    HTML 5 canvas implementation of Mario written in Ocaml

    ☕OCaml   ★423 stars   ⚠3 open issues   ⚭7 contributors   ☯about 3 years old  
  • mfp/extprot

    extprot: extensible binary protocols for cross-language communication and long-term serialization

    ☕OCaml   ★148 stars   ⚠10 open issues   ⚭2 contributors   ☯about 10 years old  
  • smondet/rng-contest

    Ketrew pipeline that runs PRNG test suite(s) (for now just Dieharder)

    ☕OCaml   ★2 stars   ⚠6 open issues   ⚭1 contributors   ☯almost 3 years old