Biblioteki napisane w Standard ML

Dress

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

GoldenCheetah

Oprogramowanie zwiększające wydajność dla rowerzystów, biegaczy, triathlonistów i trenerów.
  • 1.6k
  • GNU General Public License v3.0 only

mlton

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

cakeml

CakeML: zweryfikowana implementacja ML.
  • 833
  • GNU General Public License v3.0

urweb

Język programowania Ur/Web.
  • 763
  • GNU General Public License v3.0

mlkit

Standardowy kompilator i zestaw narzędzi ML (autor: Melsman).
  • 239

sml-redprl

Logika wyrafinowania ludzi.
  • 225
  • MIT

openwrt-useful-tools

Repozytorium zawierające różne narzędzia skompilowane specjalnie dla Hak5 WiFi Pineapple MK6 i MK7..
  • 207

mpl

Kompilator MaPLe dla Parallel ML.
  • 203
  • GNU General Public License v3.0

apltail

Kompilator APL ukierunkowany na język pośredni z typowaną tablicą.
  • 200
  • MIT

LunarML

Standardowy kompilator ML, który tworzy Lua/JavaScript.
  • 194
  • MIT

smlsharp

kompilator SML#.
  • 194
  • MIT

smlpkg

Ogólny menedżer pakietów dla standardowych bibliotek i programów ML.
  • 151
  • MIT

ponyo

Biblioteka i zestaw narzędzi do standardowego uczenia maszynowego.
  • 145
  • BSD 2-clause "Simplified"

smackage

Menedżer pakietów Smackage dla standardowej ML.
  • 119
  • GNU General Public License v3.0

perpetualpowersoftau

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

keys-n-hashes

Klucze publiczne i skróty sum kontrolnych.
  • 66

amd-sp-glitch

Materiał uzupełniający do naszego artykułu: „One Glitch to Rule Them All: Fault Injection Attacks Against AMD's Secure Encrypted Virtualization”.
  • 65
  • GNU General Public License v3.0 only

cmlib

Podstawowa biblioteka algorytmów i struktur danych (a la NJlib).
  • 65
  • MIT

smlfmt

Niestandardowy parser/automatyczny formater dla Standard ML.
  • 54
  • MIT

flunct

Funkcjonalny płynny generator API.
  • 32

gitian.sigs

  • 25

hardware

Projekt rozwoju i weryfikacji Verilog dla HOL4 (przez CakeML).
  • 20
  • BSD 3-clause "New" or "Revised"

molasses

Obsługa MLB dla CM (SML/NJ Compilation and Library Manager) (przez T-Brick).
  • 17
  • MIT

mulligan

Krokowy debugger dla Standard ML (SML).
  • 13
  • MIT

sml-bdb

Wiązanie Berkeley DB dla standardowej ML.
  • 7

BitcoinUnlimitedWebDownloads

  • 5

typhoon

Typowe struktury danych i algorytmy (autor: eduardoleon).
  • 5
  • GNU General Public License v3.0 only

Coreboot

Repozytorium Coreboot do flashowania moich urządzeń (przez grisu48).
  • 4

sml-parseq

biblioteka sekwencji równoległych w Standard ML.
  • 4
  • MIT