کتابخانه های نوشته شده با جاوا اسکریپت
haskhol-core
سیستم منطقی هسته اثبات قضیه HaskHOL. برای جزئیات بیشتر به haskhol.org مراجعه کنید..
- 1
- BSD 3-clause "New" or "Revised"
tpdb
تجزیه کننده و زیبا چاپگر برای نحو TPDB (پایگاه داده مشکل پایانی).
- 1
- GNU General Public License v3.0 only
advent-of-code-dev-2021
محیط توسعه تعاملی و دونده برای چالش های Advent of Code.
- 1
- BSD 3-clause "New" or "Revised"
primitive-unlifted
نوع کلاس PrimUnlifted، یک آرایه واسط از مقادیر unlifted.
- 1
- BSD 3-clause "New" or "Revised"
pipes-break
ابزارهای مفید برای اکوسیستم لوله ها برای شکستن و کار بر روی ByteString و Text از طریق جداکننده ها.
- 1
- BSD 3-clause "New" or "Revised"
integreat
ادغام منابع داده های متفاوت و به صورت اختیاری یکپارچه سازی دیفرانسیل را انجام دهید.
- 1
- GNU General Public License v3.0 only
hgrep-smallcore
پروژه دانشگاهی: اجرای Haskell https://www.ccs.neu.edu/home/turon/re-deriv.pdf، با یک نمایش regex داخلی بسیار کوچک..
- 1
- BSD 3-clause "New" or "Revised"
projection
تابع طرح ریزی برای انواع محصول باینری تو در تو دلخواه..
- 1
- BSD 3-clause "New" or "Revised"
aws-elastic-transcoder
گسترش به مخزن Haskell AWS برای رابط با سرویس AWS Elastic Transcoder.
- 1
- BSD 3-clause "New" or "Revised"
sscript
رشته ها را با کاراکترهای زیرنویس یا فوق نویس قالب بندی می کند.
- 1
- BSD 3-clause "New" or "Revised"