Knjižnice, napisane v Standard ML u

Dress

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

GoldenCheetah

Programska oprema za zmogljivost za kolesarje, tekače, triatlonce in trenerje.
  • 1.6k
  • GNU General Public License v3.0 only

mlton

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

cakeml

CakeML: Preverjena izvedba ML.
  • 833
  • GNU General Public License v3.0

urweb

Programski jezik Ur/Web.
  • 763
  • GNU General Public License v3.0

mlkit

Standardni prevajalnik in komplet orodij ML (avtor: melsman).
  • 239

sml-redprl

Logika prefinjenosti ljudi.
  • 225
  • MIT

openwrt-useful-tools

Repo, ki vsebuje različna orodja, sestavljena posebej za Hak5 WiFi Pineapple MK6 in MK7..
  • 207

mpl

Prevajalnik MaPLe za Parallel ML.
  • 203
  • GNU General Public License v3.0

apltail

Prevajalnik APL, ki cilja na vmesni jezik tipske matrike.
  • 200
  • MIT

LunarML

Standardni prevajalnik ML, ki proizvaja Lua/JavaScript.
  • 194
  • MIT

smlsharp

SML# prevajalnik.
  • 194
  • MIT

smlpkg

Generični upravitelj paketov za standardne knjižnice in programe ML.
  • 151
  • MIT

ponyo

Knjižnica in komplet orodij za standardni ML.
  • 145
  • BSD 2-clause "Simplified"

smackage

Upravitelj paketov Smackage za standardni ML.
  • 119
  • GNU General Public License v3.0

perpetualpowersoftau

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

keys-n-hashes

Javni ključi in zgoščene vrednosti kontrolnih vsot.
  • 66

amd-sp-glitch

Dodatno gradivo k našemu prispevku: "Ena napaka, ki jim bo vladala vsem: napadi z vbrizgavanjem napak proti AMD-jevi varni šifrirani virtualizaciji".
  • 65
  • GNU General Public License v3.0 only

cmlib

Osnovna knjižnica algoritmov in podatkovnih struktur (a la NJlib).
  • 65
  • MIT

smlfmt

Razčlenjevalnik/samodejno oblikovanje po meri za Standard ML.
  • 54
  • MIT

flunct

Funkcionalen tekoči generator API-ja.
  • 32

hardware

Projekt razvoja in preverjanja Veriloga za HOL4 (avtor CakeML).
  • 20
  • BSD 3-clause "New" or "Revised"

molasses

Podpora MLB za CM (SML/NJ Compilation and Library Manager) (avtor T-Brick).
  • 17
  • MIT

mulligan

Koračni razhroščevalnik za standardni ML (SML).
  • 13
  • MIT

sml-bdb

Berkeley DB vezava za Standard ML.
  • 7

typhoon

Tipske podatkovne strukture in algoritmi (avtor eduardoleon).
  • 5
  • GNU General Public License v3.0 only

Coreboot

Repozitorij Coreboot za flashanje mojih naprav (avtor grisu48).
  • 4

sml-parseq

knjižnica vzporednih zaporedij v standardnem ML.
  • 4
  • MIT