Standard ML ile yazılmış kütüphaneler
GoldenCheetah
Bisikletçiler, Koşucular, Triatletler ve Antrenörler için Performans Yazılımı.
- 1.6k
- GNU General Public License v3.0 only
openwrt-useful-tools
Hak5 WiFi Pineapple MK6 ve MK7 için özel olarak derlenmiş farklı araçları içeren bir repo..
- 207
perpetualpowersoftau
Yeni depo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau.
- 117
- GNU General Public License v3.0 only
amd-sp-glitch
Makalemize ek materyal: "Hepsine Hükmedecek Tek Bir Hata: AMD'nin Güvenli Şifreli Sanallaştırmasına Karşı Hata Enjeksiyon Saldırıları".
- 65
- GNU General Public License v3.0 only
hardware
HOL4 için Verilog geliştirme ve doğrulama projesi (CakeML tarafından).
- 20
- BSD 3-clause "New" or "Revised"
typhoon
Tipik veri yapıları ve algoritmalar (eduardoleon tarafından).
- 5
- GNU General Public License v3.0 only