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

Универсальный менеджер пакетов для библиотек и программ Standard ML.

151
MIT

ponyo

Библиотека и набор инструментов для стандартного машинного обучения.

145
BSD 2-clause "Simplified"

smackage

Диспетчер пакетов Smackage для стандартного машинного обучения.

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».