مكتبات مكتوبة بلغة Standard ML
GoldenCheetah
برامج الأداء لراكبي الدراجات والعدائين والرياضيين الثلاثي والمدربين.
- 1.6k
- GNU General Public License v3.0 only
openwrt-useful-tools
يحتوي الريبو على أدوات مختلفة تم تجميعها خصيصًا لـ Hak5 WiFi Pineapple MK6 و MK7.
- 207
perpetualpowersoftau
الريبو الجديد: https://github.com/privacy-scaling-explorations/perpetualpowersoftau.
- 117
- GNU General Public License v3.0 only
amd-sp-glitch
مادة تكميلية لورقتنا البحثية: "خلل واحد للسيطرة عليهم جميعًا: هجمات حقن الأعطال ضد المحاكاة الافتراضية المشفرة الآمنة من AMD".
- 65
- GNU General Public License v3.0 only
hardware
مشروع التطوير والتحقق من Verilog لـ HOL4 (بواسطة CakeML).
- 20
- BSD 3-clause "New" or "Revised"
typhoon
هياكل البيانات والخوارزميات النموذجية (بواسطة eduardoleon).
- 5
- GNU General Public License v3.0 only