Perpustakaan yang ditulis dalam OCaml

sihl

Kerangka web fungsional modular.
  • 339
  • MIT

ocaml-ctypes

Library untuk mengikat ke library C menggunakan OCaml murni.
  • 337
  • MIT

notty

Grafik terminal deklaratif untuk OCaml (oleh pqwy).
  • 323
  • ISC

bamboo

Bambu lihat https://github.com/cornellblockchain/bamboo (oleh pirapira).
  • 318
  • Apache License 2.0

bonsai

Pustaka untuk membuat aplikasi web dinamis, menggunakan Js_of_ocaml.
  • 305
  • MIT

vscode-ocaml-platform

Ekstensi Kode Visual Studio untuk OCaml.
  • 298
  • ISC

soupault

Generator situs web statis berdasarkan penulisan ulang pohon elemen HTML.
  • 294
  • MIT

ocaml-h2

Implementasi HTTP/2 ditulis dalam OCaml murni.
  • 287
  • BSD 3-clause "New" or "Revised"

bisect_ppx

Cakupan kode untuk OCaml dan ReScript.
  • 283
  • MIT

yojson

Parsing JSON tingkat rendah dan pustaka pencetakan cantik untuk OCaml.
  • 283
  • BSD 3-clause "New" or "Revised"

bs-json

Pustaka encode/decode JSON komposisional untuk BuckleScript.
  • 273
  • GNU Lesser General Public License v3.0 only

re-web

Kerangka web eksperimental untuk ReasonML & OCaml.
  • 264
  • MIT

GeneWeb

GeneWeb adalah perangkat lunak silsilah gratis (seperti dalam kebebasan berbicara) dengan antarmuka web yang dibuat oleh Daniel de Rauglaudre..
  • 262
  • GNU General Public License v3.0 only

ocaml-jupyter

Kernel OCaml untuk notebook Jupyter (IPython).
  • 258
  • MIT

1ml

Juru bahasa prototipe 1ML.
  • 255
  • Apache License 2.0

ocaml-caqti

Akses berulir kooperatif ke data relasional.
  • 255
  • GNU Lesser General Public License v3.0 only

parallel-programming-in-multicore-ocaml

Tutorial pemrograman paralel Multicore OCaml dengan domainslib.
  • 252
  • ISC

bsb-native

Bangun sistem untuk OCaml/Reason.
  • 244
  • GNU General Public License v3.0

scilla

Scilla - Bahasa Tingkat Menengah Kontrak Cerdas (oleh Zilliqa).
  • 239
  • GNU General Public License v3.0 only

ocaml-webmachine

Toolkit REST untuk OCaml.
  • 222
  • GNU General Public License v3.0

mldonkey

daemon p2p multi-jaringan lintas platform.
  • 217
  • GNU General Public License v3.0

coq-of-ocaml

Verifikasi formal untuk OCaml.
  • 215
  • MIT

sedlex

Generator lexer OCaml untuk Unicode.
  • 212
  • MIT

coq2rust

Ekstraksi program Coq ke Rust. Seluruh pohon ada di basis kode Coq asli..
  • 212
  • GNU Lesser General Public License v3.0 only

ocaml-re

Ekspresi reguler OCaml murni, dengan dukungan untuk string bergaya Perl dan POSIX.
  • 206
  • GNU General Public License v3.0

extprot

extprot: protokol biner yang dapat diperluas untuk komunikasi lintas bahasa dan serialisasi jangka panjang.
  • 203
  • GNU General Public License v3.0

plotkicadsch

Proyek ini bertujuan untuk dapat mengekspor file Kicad Sch ke file gambar terstruktur (oleh jnavila).
  • 201
  • GNU General Public License v3.0

cooltt

😎TT.
  • 201
  • Apache License 2.0

qubes-mirage-firewall

VM firewall Mirage untuk QubesOS.
  • 195

c2bf

Compiler dari C ke brainfuck.
  • 194
  • GNU General Public License v3.0 only