کتابخانه های نوشته شده با جاوا اسکریپت
genType
تولید خودکار پیوندهای اصطلاحی بین Reason و JavaScript: یا وانیلی یا تایپ شده با TypeScript/FlowType..
- 756
- MIT
ocaml-cohttp
یک کتابخانه Ocaml برای سرویس گیرندگان و سرورهای HTTP با استفاده از Lwt یا Async.
- 636
- GNU General Public License v3.0
angstrom
ترکیبکنندههای تجزیهکننده برای سرعت و کارایی حافظه ساخته شدهاند.
- 562
- GNU General Public License v3.0
httpaf
یک وب سرور با کارایی بالا، حافظه کارآمد و مقیاس پذیر که با OCaml نوشته شده است.
- 525
- GNU General Public License v3.0
ocaml-containers
یک پسوند کتابخانه استاندارد سبک و مدولار، کتابخانه رشتهای و رابطهای کتابخانههای مختلف (یونیکس، رشتهها و غیره) مجوز BSD..
- 445
- BSD 2-clause "Simplified"
vult
Vult ترانکامپایلری است که برای نوشتن کدهای DSP با کارایی بالا مناسب است.
- 432
- GNU General Public License v3.0
karamel
KaRaMeL ابزاری برای استخراج برنامه های سطح پایین F* به کد C قابل خواندن است.
- 360
- Apache License 2.0