کتابخانه های نوشته شده با جاوا اسکریپت
coq-lsp
برنامه افزودنی کد ویژوال استودیو و پروتکل سرور زبان برای Coq.
- 98
- GNU Lesser General Public License v3.0 only
yocaml
YOCaml یک مولد سایت استاتیک است که بیشتر به زبان OCaml نوشته شده است.
- 82
- GNU General Public License v3.0 only
weidu
WeiDU برنامه ای است که برای توسعه، توزیع و نصب تغییرات برای بازی های مبتنی بر Infinity Engine استفاده می شود.
- 71
- GNU General Public License v3.0 only
tornado
Tornado یک کلاینت BitTorrent است که به طور کامل در OCaml نوشته شده است. (توسط fraidev).
- 57
- MIT
virt-v2v
Virt-v2v مهمانان را از هایپروایزر خارجی به اجرا در KVM تبدیل می کند.
- 51
- GNU General Public License v3.0 only
AdventOfCode2017
راه حل های من برای AoC 2017 با استفاده از Nim، OCaml و Python (توسط narimiran).
- 38
- MIT