Библиотеки, написани на 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/Web.

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

Библиотека и набор от инструменти за стандартен ML.

145
BSD 2-clause "Simplified"

smackage

Мениджър на пакети Smackage за стандартен 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“.