کتابخانه های نوشته شده با جاوا اسکریپت

sihl

یک چارچوب وب کاربردی مدولار.
  • 339
  • MIT

ocaml-ctypes

کتابخانه برای اتصال به کتابخانه های C با استفاده از Ocaml خالص.
  • 337
  • MIT

notty

گرافیک ترمینال اعلامی برای OCaml (توسط pqwy).
  • 323
  • ISC

bamboo

بامبو را ببینید https://github.com/cornellblockchain/bamboo (توسط pirapira).
  • 318
  • Apache License 2.0

bonsai

کتابخانه ای برای ساخت برنامه های وب پویا با استفاده از Js_of_ocaml.
  • 305
  • MIT

vscode-ocaml-platform

پسوند کد ویژوال استودیو برای OCaml.
  • 298
  • ISC

soupault

مولد وب سایت ایستا بر اساس بازنویسی درخت عنصر HTML.
  • 294
  • MIT

ocaml-h2

یک پیاده سازی HTTP/2 که با OCaml خالص نوشته شده است.
  • 287
  • BSD 3-clause "New" or "Revised"

bisect_ppx

پوشش کد برای OCaml و ReScript.
  • 283
  • MIT

yojson

تجزیه و تحلیل JSON سطح پایین و کتابخانه زیبا برای OCaml.
  • 283
  • BSD 3-clause "New" or "Revised"

bs-json

کتابخانه کدگذاری/رمزگشایی JSON ترکیبی برای BuckleScript.
  • 273
  • GNU Lesser General Public License v3.0 only

re-web

چارچوب آزمایشی وب برای ReasonML و OCaml.
  • 264
  • MIT

GeneWeb

GeneWeb یک نرم افزار تبارشناسی رایگان (مانند بیان آزاد) با رابط وب است که توسط Daniel de Rauglaudre ایجاد شده است.
  • 262
  • GNU General Public License v3.0 only

ocaml-jupyter

یک هسته OCaml برای نوت بوک Jupyter (IPython).
  • 258
  • MIT

1ml

مفسر نمونه اولیه 1ML.
  • 255
  • Apache License 2.0

ocaml-caqti

دسترسی مشارکتی به داده های رابطه ای.
  • 255
  • GNU Lesser General Public License v3.0 only

parallel-programming-in-multicore-ocaml

آموزش برنامه نویسی موازی OCaml چند هسته ای با domainslib.
  • 252
  • ISC

bsb-native

ساخت سیستم برای OCaml/Reason.
  • 244
  • GNU General Public License v3.0

scilla

Scilla - زبان سطح متوسط ​​قرارداد هوشمند (توسط Zilliqa).
  • 239
  • GNU General Public License v3.0 only

ocaml-webmachine

یک جعبه ابزار REST برای OCaml.
  • 222
  • GNU General Public License v3.0

mldonkey

شبح p2p چند شبکه ای چند پلتفرمی.
  • 217
  • GNU General Public License v3.0

coq-of-ocaml

تأیید رسمی برای OCaml.
  • 215
  • MIT

sedlex

یک ژنراتور lexer Ocaml برای یونیکد.
  • 212
  • MIT

coq2rust

استخراج برنامه Coq to Rust. کل درخت بر روی پایه کد اصلی Coq است..
  • 212
  • GNU Lesser General Public License v3.0 only

ocaml-re

عبارات منظم OCaml خالص، با پشتیبانی از رشته های پرل و POSIX.
  • 206
  • GNU General Public License v3.0

extprot

extprot: پروتکل های باینری قابل توسعه برای ارتباطات بین زبانی و سریال سازی طولانی مدت.
  • 203
  • GNU General Public License v3.0

plotkicadsch

هدف این پروژه امکان صادرات فایل‌های Kicad Sch به فایل‌های تصویری ساخت‌یافته (توسط jnavila) است.
  • 201
  • GNU General Public License v3.0

cooltt

😎TT.
  • 201
  • Apache License 2.0

qubes-mirage-firewall

یک VM فایروال Mirage برای QubesOS.
  • 195

c2bf

کامپایلر از سی تا مغز فک.
  • 194
  • GNU General Public License v3.0 only