مكتبات مكتوبة بلغة Standard ML

Dress

好耶 是女装.
  • 22.0k
  • GNU General Public License v3.0

GoldenCheetah

برامج الأداء لراكبي الدراجات والعدائين والرياضيين الثلاثي والمدربين.
  • 1.6k
  • GNU General Public License v3.0 only

mlton

مستودع MLton.
  • 874
  • GNU General Public License v3.0

cakeml

CakeML: تطبيق معتمد لـ ML.
  • 833
  • GNU General Public License v3.0

urweb

لغة برمجة الويب / Ur.
  • 763
  • GNU General Public License v3.0

mlkit

مترجم ML القياسي ومجموعة أدوات (بواسطة melsman).
  • 239

sml-redprl

منطق صقل الناس.
  • 225
  • MIT

openwrt-useful-tools

يحتوي الريبو على أدوات مختلفة تم تجميعها خصيصًا لـ Hak5 WiFi Pineapple MK6 و MK7.
  • 207

mpl

مترجم MaPLe لـ Parallel ML.
  • 203
  • GNU General Public License v3.0

apltail

مترجم APL يستهدف لغة وسيطة مصفوفة مكتوبة.
  • 200
  • MIT

LunarML

مترجم ML قياسي ينتج Lua / JavaScript.
  • 194
  • MIT

smlsharp

مترجم SML #.
  • 194
  • MIT

smlpkg

مدير الحزم العام لمكتبات وبرامج ML القياسية.
  • 151
  • MIT

ponyo

مكتبة ومجموعة أدوات لتعلم الآلة القياسي.
  • 145
  • BSD 2-clause "Simplified"

smackage

مدير حزمة Smackage لـ Standard ML.
  • 119
  • GNU General Public License v3.0

perpetualpowersoftau

الريبو الجديد: https://github.com/privacy-scaling-explorations/perpetualpowersoftau.
  • 117
  • GNU General Public License v3.0 only

keys-n-hashes

تجزئة المفاتيح العمومية وتجزئة المجموع الاختباري.
  • 66

amd-sp-glitch

مادة تكميلية لورقتنا البحثية: "خلل واحد للسيطرة عليهم جميعًا: هجمات حقن الأعطال ضد المحاكاة الافتراضية المشفرة الآمنة من AMD".
  • 65
  • GNU General Public License v3.0 only

cmlib

مكتبة أساسية من الخوارزميات وهياكل البيانات (على غرار NJlib).
  • 65
  • MIT

smlfmt

محلل مخصص / منسق تلقائي لـ ML القياسي.
  • 54
  • MIT

flunct

مولد API بطلاقة وظيفية.
  • 32

hardware

مشروع التطوير والتحقق من Verilog لـ HOL4 (بواسطة CakeML).
  • 20
  • BSD 3-clause "New" or "Revised"

molasses

دعم MLB لـ CM (SML / NJ Compilation and Library Manager) (بواسطة T-Brick).
  • 17
  • MIT

mulligan

مصحح متدرج لـ ML Standard (SML).
  • 13
  • MIT

sml-bdb

ربط Berkeley DB لمعيار ML.
  • 7

typhoon

هياكل البيانات والخوارزميات النموذجية (بواسطة eduardoleon).
  • 5
  • GNU General Public License v3.0 only

Coreboot

مستودع Coreboot لوميض أجهزتي (بواسطة grisu48).
  • 4

sml-parseq

مكتبة التسلسلات المتوازية في معيار ML.
  • 4
  • MIT