Standard ML ile yazılmış kütüphaneler

Dress

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

GoldenCheetah

Bisikletçiler, Koşucular, Triatletler ve Antrenörler için Performans Yazılımı.
  • 1.6k
  • GNU General Public License v3.0 only

mlton

MLton deposu.
  • 874
  • GNU General Public License v3.0

cakeml

CakeML: Doğrulanmış Bir Makine Öğrenimi Uygulaması.
  • 833
  • GNU General Public License v3.0

urweb

Ur/Web programlama dili.
  • 763
  • GNU General Public License v3.0

mlkit

Standart Makine Öğrenimi Derleyicisi ve Araç Seti (melsman tarafından).
  • 239

sml-redprl

Halkın Arıtma Mantığı.
  • 225
  • MIT

openwrt-useful-tools

Hak5 WiFi Pineapple MK6 ve MK7 için özel olarak derlenmiş farklı araçları içeren bir repo..
  • 207

mpl

Parallel ML için MaPLe derleyicisi.
  • 203
  • GNU General Public License v3.0

apltail

Yazılı bir dizi ara dilini hedefleyen APL Derleyicisi.
  • 200
  • MIT

LunarML

Lua/JavaScript üreten bir Standart ML derleyicisi.
  • 194
  • MIT

smlsharp

SML# derleyicisi.
  • 194
  • MIT

smlpkg

Standart ML kitaplıkları ve programları için genel paket yöneticisi.
  • 151
  • MIT

ponyo

Standart Makine Öğrenimi için Kitaplık ve Araç Seti.
  • 145
  • BSD 2-clause "Simplified"

smackage

Standard ML için Smackage Paket Yöneticisi.
  • 119
  • GNU General Public License v3.0

perpetualpowersoftau

Yeni depo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau.
  • 117
  • GNU General Public License v3.0 only

keys-n-hashes

Genel Anahtarlar ve Sağlama Özetleri.
  • 66

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

cmlib

Algoritmalar ve veri yapılarından oluşan temel bir kitaplık (NJlib gibi).
  • 65
  • MIT

smlfmt

Standard ML için özel bir ayrıştırıcı/otomatik biçimlendirici.
  • 54
  • MIT

flunct

İşlevsel, akıcı bir API oluşturucu.
  • 32

gitian.sigs

  • 25

hardware

HOL4 için Verilog geliştirme ve doğrulama projesi (CakeML tarafından).
  • 20
  • BSD 3-clause "New" or "Revised"

molasses

CM için MLB desteği (SML/NJ Derleme ve Kitaplık Yöneticisi) (T-Brick tarafından).
  • 17
  • MIT

mulligan

Standart ML (SML) için adım adım hata ayıklayıcı.
  • 13
  • MIT

sml-bdb

Standard ML için Berkeley DB bağlaması.
  • 7

BitcoinUnlimitedWebDownloads

  • 5

typhoon

Tipik veri yapıları ve algoritmalar (eduardoleon tarafından).
  • 5
  • GNU General Public License v3.0 only

Coreboot

Cihazlarımı flaşlamak için Coreboot deposu (grisu48 tarafından).
  • 4

sml-parseq

Standard ML'de paralel diziler kitaplığı.
  • 4
  • MIT