Perpustakaan yang ditulis dalam OCaml

flow

  • 22.0k
  • MIT

infer

  • 14.2k
  • MIT

reason

  • 9.9k
  • MIT

semgrep

  • 8.5k
  • GNU Lesser General Public License v3.0 only

pyre-check

  • 6.4k
  • MIT

rescript-compiler

  • 6.2k
  • GNU General Public License v3.0

ocaml

  • 4.6k
  • GNU General Public License v3.0

coq

  • 4.3k
  • GNU Lesser General Public License v3.0 only

Batsh

  • 4.2k

magic-trace

  • 4.1k
  • MIT

unison

  • 3.1k
  • GNU General Public License v3.0 only

pfff

  • 2.4k
  • GNU General Public License v3.0

mirage

  • 2.2k
  • ISC

comby

  • 2.1k
  • Apache License 2.0

bap

  • 1.9k
  • MIT

mina

  • 1.8k
  • Apache License 2.0

bincat

  • 1.5k

merlin

  • 1.5k
  • MIT

dune

  • 1.4k
  • MIT

plzoo

  • 1.3k
  • MIT

dream

  • 1.2k
  • MIT

opam

  • 1.1k
  • GNU General Public License v3.0

book

  • 1.1k
  • GNU General Public License v3.0

owl

  • 1.1k
  • MIT

SATySFi

  • 1.1k
  • GNU Lesser General Public License v3.0 only

vpnkit

  • 1.0k
  • Apache License 2.0

catala

  • 995
  • Apache License 2.0

caramel

  • 995
  • Apache License 2.0

js_of_ocaml

  • 853
  • GNU General Public License v3.0