مكتبات مكتوبة بلغة Haskell

HDBC-session

يتضمن هذا المستودع منشئ استعلام مرتبط استنادًا إلى الجبر العلائقي ، وأدوات التعيين بين قائمة قيم SQL ونوع سجل هاسكل.
  • 226
  • BSD 3-clause "New" or "Revised"

Algorithm-W-Step-By-Step

الخوارزمية الكلاسيكية W لاستدلال النوع..
  • 226

diagnose

مكتبة بسيطة للإبلاغ عن أخطاء المترجم / المترجم الفوري.
  • 222
  • BSD 3-clause "New" or "Revised"

unordered-containers

أنواع الحاويات الفعالة القائمة على التجزئة.
  • 222
  • BSD 3-clause "New" or "Revised"

hid-examples

أمثلة مصاحبة لكتاب "هاسكل في العمق".
  • 221
  • BSD 3-clause "New" or "Revised"

grpc-haskell

دعم Haskell gRPC.
  • 220
  • Apache License 2.0

blaze-from-html

مكتبة دمج HTML سريعة للغاية لـ Haskell..
  • 220
  • BSD 3-clause "New" or "Revised"

sbv

التحقق المستند إلى SMT في هاسكل. التعبير عن الخصائص حول برامج Haskell وإثباتها تلقائيًا باستخدام حلول SMT..
  • 219
  • BSD 3-clause "New" or "Revised"

freer-simple

نظام تأثير ودود لـ Haskell.
  • 219
  • BSD 3-clause "New" or "Revised"

cassava

مكتبة تحليل وتشفير CSV محسّنة لسهولة الاستخدام والأداء العالي.
  • 218
  • BSD 3-clause "New" or "Revised"

sixty

مدقق نوع تابع باستخدام التطبيع عن طريق التقييم.
  • 218
  • BSD 3-clause "New" or "Revised"

hydra

تنفيذ بروتوكول هيدرا هيد (عن طريق المدخلات والمخرجات- hk).
  • 217
  • Apache License 2.0

elm-get

  • 216
  • BSD 3-clause "New" or "Revised"

givegif

ملفات GIF في سطر الأوامر.
  • 216
  • BSD 3-clause "New" or "Revised"

cardano-ledger

تطبيق دفتر الأستاذ والمواصفات الخاصة بـ Cardano blockchain..
  • 216
  • Apache License 2.0

serverless-haskell

نشر تطبيقات Haskell على AWS Lambda مع Serverless.
  • 213
  • MIT

lol

Λ ⚬ λ: التشفير الوظيفي الشبكي.
  • 212
  • GNU General Public License v3.0 only

capability

القدرات التوسعية واشتقاق المجمعات.
  • 212
  • BSD 3-clause "New" or "Revised"

haskeline

مكتبة هاسكل لمدخلات سطر في برامج سطر الأوامر..
  • 210
  • BSD 3-clause "New" or "Revised"

glambda

منزل مترجم Glamorous Glambda.
  • 210
  • BSD 3-clause "New" or "Revised"

postgresql-simple

مكتبة عملاء متوسطة المستوى للوصول إلى PostgreSQL من Haskell.
  • 208
  • BSD 3-clause "New" or "Revised"

optparse-generic

إنشاء محلل سطر أوامر لنوع البيانات تلقائيًا.
  • 205
  • BSD 3-clause "New" or "Revised"

hi

إنشاء سقالة لمشروع هاسكل.
  • 201
  • BSD 3-clause "New" or "Revised"

Allure

ألور أوف ذا ستارز هي لعبة روجلايك للخيال العلمي ولعبة قتالية تكتيكية في المستقبل القريب مكتوبة بلغة هاسكل. يرجى تقديم التعليقات ، على سبيل المثال ، بعد تجربة إصدار واجهة الويب في.
  • 200
  • GNU Affero General Public License v3.0

telegram-api

Telegram Bot API for Haskell.
  • 198
  • BSD 3-clause "New" or "Revised"

music-suite

موسيقى في هاسكل.
  • 197
  • BSD 3-clause "New" or "Revised"

katip

إطار عمل منظم لتسجيل الدخول إلى Haskell.
  • 197
  • BSD 3-clause "New" or "Revised"

quickcheck-state-machine

اختبار البرامج الأحادية باستخدام نماذج تعتمد على آلة الدولة.
  • 196
  • BSD 3-clause "New" or "Revised"

HaTeX

مكتبة هاسكل لاتيكس..
  • 196
  • BSD 3-clause "New" or "Revised"

snap-server

مكتبة خادم HTTP سريعة ، تقوم بتشغيل معالجات الويب Snap..
  • 195
  • BSD 3-clause "New" or "Revised"