Biblioteke napisane u Standard ML u

Dress

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

GoldenCheetah

Softver za performanse za bicikliste, trkače, triatlonce i trenere.
  • 1.6k
  • GNU General Public License v3.0 only

mlton

MLton spremište.
  • 874
  • GNU General Public License v3.0

cakeml

CakeML: Provjerena implementacija ML-a.
  • 833
  • GNU General Public License v3.0

urweb

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

mlkit

Standardni ML prevodilac i alat (melsman).
  • 239

sml-redprl

Narodna profinjena logika.
  • 225
  • MIT

openwrt-useful-tools

Repo koji sadrži različite alate sastavljene posebno za Hak5 WiFi Pineapple MK6 i MK7..
  • 207

mpl

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

apltail

APL kompilator koji cilja posredni jezik upisanog niza.
  • 200
  • MIT

LunarML

Standardni ML kompajler koji proizvodi Lua/JavaScript.
  • 194
  • MIT

smlsharp

SML# kompajler.
  • 194
  • MIT

smlpkg

Generički upravitelj paketa za standardne ML biblioteke i programe.
  • 151
  • MIT

ponyo

Knjižnica i alati za standardni ML.
  • 145
  • BSD 2-clause "Simplified"

smackage

Smackage Package Manager za standardni ML.
  • 119
  • GNU General Public License v3.0

perpetualpowersoftau

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

keys-n-hashes

Javni ključevi i hashovi kontrolnih zbrojeva.
  • 66

amd-sp-glitch

Dodatni materijal našem radu: "Jedan problem za vladanje svima: napadi ubacivanjem greške protiv AMD-ove sigurne šifrirane virtualizacije".
  • 65
  • GNU General Public License v3.0 only

cmlib

Osnovna biblioteka algoritama i struktura podataka (a la NJlib).
  • 65
  • MIT

smlfmt

Prilagođeni parser/automatski formater za Standard ML.
  • 54
  • MIT

flunct

Funkcionalan tečan API generator.
  • 32

gitian.sigs

  • 25

hardware

Projekt razvoja i verifikacije Veriloga za HOL4 (od CakeML-a).
  • 20
  • BSD 3-clause "New" or "Revised"

molasses

MLB podrška za CM (SML/NJ Compilation and Library Manager) (autor T-Brick).
  • 17
  • MIT

mulligan

Koračni program za ispravljanje pogrešaka za standardni ML (SML).
  • 13
  • MIT

sml-bdb

Berkeley DB uvez za Standard ML.
  • 7

BitcoinUnlimitedWebDownloads

  • 5

typhoon

Tipske strukture podataka i algoritmi (autor eduardoleon).
  • 5
  • GNU General Public License v3.0 only

Coreboot

Coreboot repozitorij za flashanje mojih uređaja (od grisu48).
  • 4

sml-parseq

biblioteka paralelnih sekvenci u standardnom ML-u.
  • 4
  • MIT