OCaml ile yazılmış kütüphaneler

sihl

Modüler işlevsel bir web çerçevesi.
  • 339
  • MIT

ocaml-ctypes

Saf OCaml kullanarak C kitaplıklarına bağlanmak için kitaplık.
  • 337
  • MIT

notty

OCaml için bildirime dayalı terminal grafikleri (pqwy tarafından).
  • 323
  • ISC

bamboo

Bambu bkz. https://github.com/cornellblockchain/bamboo (tarafından pirapira).
  • 318
  • Apache License 2.0

bonsai

Js_of_ocaml kullanarak dinamik web uygulamaları oluşturmaya yönelik bir kitaplık.
  • 305
  • MIT

vscode-ocaml-platform

OCaml için Visual Studio Code uzantısı.
  • 298
  • ISC

soupault

HTML öğe ağacının yeniden yazılmasına dayalı statik web sitesi oluşturucu.
  • 294
  • MIT

ocaml-h2

Saf OCaml ile yazılmış bir HTTP/2 uygulaması.
  • 287
  • BSD 3-clause "New" or "Revised"

bisect_ppx

OCaml ve ReScript için kod kapsamı.
  • 283
  • MIT

yojson

OCaml için düşük düzeyli JSON ayrıştırma ve güzel yazdırma kitaplığı.
  • 283
  • BSD 3-clause "New" or "Revised"

bs-json

BuckleScript için kompozisyonel JSON kodlama/kod çözme kitaplığı.
  • 273
  • GNU Lesser General Public License v3.0 only

re-web

ReasonML ve OCaml için deneysel web çerçevesi.
  • 264
  • MIT

GeneWeb

GeneWeb, Daniel de Rauglaudre tarafından oluşturulan bir web arayüzüne sahip ücretsiz (serbest konuşmada olduğu gibi) bir şecere yazılımıdır.
  • 262
  • GNU General Public License v3.0 only

ocaml-jupyter

Jupyter (IPython) not defteri için bir OCaml çekirdeği.
  • 258
  • MIT

1ml

1ML prototip yorumlayıcı.
  • 255
  • Apache License 2.0

ocaml-caqti

İlişkisel verilere iş parçacıklı erişim.
  • 255
  • GNU Lesser General Public License v3.0 only

parallel-programming-in-multicore-ocaml

Domainslib ile Çok Çekirdekli OCaml paralel programlama eğitimi.
  • 252
  • ISC

bsb-native

OCaml/Reason için sistem oluşturun.
  • 244
  • GNU General Public License v3.0

scilla

Scilla - Akıllı Sözleşme Orta Seviye Dili (Zilliqa tarafından).
  • 239
  • GNU General Public License v3.0 only

ocaml-webmachine

OCaml için bir REST araç seti.
  • 222
  • GNU General Public License v3.0

mldonkey

platformlar arası çoklu ağ p2p arka plan programı.
  • 217
  • GNU General Public License v3.0

coq-of-ocaml

OCaml için resmi doğrulama.
  • 215
  • MIT

sedlex

Unicode için bir OCaml lexer üreteci.
  • 212
  • MIT

coq2rust

Coq to Rust programı çıkarma. Ağacın tamamı orijinal Coq kod tabanındadır.
  • 212
  • GNU Lesser General Public License v3.0 only

ocaml-re

Perl ve POSIX tarzı dizeleri destekleyen saf OCaml normal ifadeleri.
  • 206
  • GNU General Public License v3.0

extprot

extprot: diller arası iletişim ve uzun vadeli serileştirme için genişletilebilir ikili protokoller.
  • 203
  • GNU General Public License v3.0

plotkicadsch

Bu proje, Kicad Sch dosyalarını yapılandırılmış resim dosyalarına (jnavila tarafından) dışa aktarabilmeyi amaçlamaktadır.
  • 201
  • GNU General Public License v3.0

cooltt

😎TT.
  • 201
  • Apache License 2.0

qubes-mirage-firewall

QubesOS için bir Mirage güvenlik duvarı sanal makinesi.
  • 195

c2bf

C'den brainfuck'a derleyici.
  • 194
  • GNU General Public License v3.0 only