مكتبات مكتوبة بلغة OCaml
bamboo
الخيزران انظر https://github.com/cornellblockchain/bamboo (بواسطة pirapira).
- 318
- Apache License 2.0
bs-json
مكتبة تشفير / فك تشفير JSON التركيبية لـ BuckleScript.
- 273
- GNU Lesser General Public License v3.0 only
GeneWeb
GeneWeb هو برنامج أنساب مجاني (كما هو الحال في حرية التعبير) بواجهة ويب تم إنشاؤها بواسطة Daniel de Rauglaudre.
- 262
- GNU General Public License v3.0 only
ocaml-caqti
الوصول التعاوني المترابط إلى البيانات العلائقية.
- 255
- GNU Lesser General Public License v3.0 only
parallel-programming-in-multicore-ocaml
البرنامج التعليمي حول البرمجة المتوازية Multicore OCaml مع domainslib.
- 252
- ISC
scilla
Scilla - لغة المستوى المتوسط للعقد الذكي (بواسطة Zilliqa).
- 239
- GNU General Public License v3.0 only
mldonkey
برنامج خفي من نظير إلى نظير متعدد الشبكات عبر الأنظمة الأساسية.
- 217
- GNU General Public License v3.0
coq2rust
استخراج برنامج Coq to Rust. الشجرة بأكملها موجودة على قاعدة كود Coq الأصلية..
- 212
- GNU Lesser General Public License v3.0 only
ocaml-re
التعابير العادية لـ Pure OCaml ، مع دعم سلاسل من نمط Perl و 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