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

redtt

"میان تاریکی و سپیده دم، یک مکعب قرمز برمی خیزد!": دستیار اثبات نظریه نوع مکعبی دکارتی.

194
Apache License 2.0

FaCT

زبان برنامه نویسی انعطاف پذیر و زمان ثابت

190
BSD 3-clause "New" or "Revised"

async

کتابخانه اعدام ناهمزمان جین استریت کپیتال (توسط janestreet).

182
MIT

ocaml5-tutorial

یک آموزش عملی در مورد ویژگی های موازی سازی جدید در OCaml 5.

182
MIT

morbig

تجزیه کننده ایستا برای پوسته POSIX.

181
GNU General Public License v3.0

C11parser

یک تجزیه کننده صحیح C89/C90/C99/C11/C18 که با استفاده از Menhir و OCaml نوشته شده است.

174
GNU General Public License v3.0

patoline

سیستم حروفچینی پاتولین

173
GNU General Public License v3.0 only

dometyl-keyboard

یک ژنراتور پارامتریک برای طراحی صفحه کلیدهای تقسیم شده، مقعر و ارگونومیک که به زبان Ocaml نوشته شده است.

170
GNU Affero General Public License v3.0

drom یک لفاف بر روی opam/dune در تلاش برای ارائه تجربه کاربری محموله مانند است. می توان از آن برای ایجاد پروژه های کامل OCaml با مستندات اسفینکس و odoc استفاده کرد. دانش خاصی از Github دارد و فایل هایی را برای صفحات Github Actions CI و Github تولید می کند.

165
GNU General Public License v3.0

mlang

کامپایلر برای زبان M که برای محاسبه مالیات بر درآمد مالیات دهندگان فرانسوی استفاده می شود.

160
GNU General Public License v3.0 only

lablqml

رابط Qt/QML با Ocaml. قبلاً به عنوان لبلقت شناخته می شد.

158
GNU Lesser General Public License v3.0 only

supermin

ابزاری برای ایجاد وسایل سوپرمین (که قبلا febootstrap نامیده می شد). لطفاً برای مشکلات یا درخواست‌ها از GITHUB استفاده نکنید. برای نحوه ثبت اشکال به وب سایت مراجعه کنید یا با ما تماس بگیرید. http://libguestfs.org.