Nā hale waihona puke i kākau ʻia ma Standard ML

Dress

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

GoldenCheetah

Pūnaehana Hana no ka poʻe holo kaʻa, holo, Triathletes a me nā kumu aʻo.
  • 1.6k
  • GNU General Public License v3.0 only

mlton

ʻO ka waihona MLton.
  • 874
  • GNU General Public License v3.0

cakeml

CakeML: He hoʻokō i hōʻoia ʻia o ML.
  • 833
  • GNU General Public License v3.0

urweb

ʻO ka ʻōlelo papahana Ur/Web.
  • 763
  • GNU General Public License v3.0

mlkit

ML Compiler a me Toolkit (na melsman).
  • 239

sml-redprl

Ka Loko Hoomaemae o na Kanaka.
  • 225
  • MIT

openwrt-useful-tools

ʻO kahi repo i loaʻa nā mea hana like ʻole i hōʻuluʻulu ʻia no ka Hak5 WiFi Pineapple MK6 a me MK7.
  • 207

mpl

Ka MaPLe compiler no Parallel ML.
  • 203
  • GNU General Public License v3.0

apltail

ʻO APL Compiler e ʻimi ana i kahi ʻōlelo waena waena.
  • 200
  • MIT

LunarML

He mea hōʻuluʻulu ML maʻamau e hana ana i ka Lua/JavaScript.
  • 194
  • MIT

smlsharp

SML # mea hoʻopili.
  • 194
  • MIT

smlpkg

Manakia pūʻolo maʻamau no nā hale waihona puke a me nā papahana ML.
  • 151
  • MIT

ponyo

Hale Waihona Puke a me Mea Hana no ML maʻamau.
  • 145
  • BSD 2-clause "Simplified"

smackage

Luna Hoʻokele Smackage no ML maʻamau.
  • 119
  • GNU General Public License v3.0

perpetualpowersoftau

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

keys-n-hashes

Nā Ki Public a me Checksum Hashes.
  • 66

amd-sp-glitch

Mea hoʻohui i kā mākou pepa: "Hoʻokahi Glitch e hoʻoponopono iā lākou a pau: Fault Injection Attacks Against AMD's Secure Encrypted Virtualization".
  • 65
  • GNU General Public License v3.0 only

cmlib

ʻO kahi waihona waihona o nā algorithms a me nā hoʻolālā ʻikepili (a la NJlib).
  • 65
  • MIT

smlfmt

He parser/aunoa-formatter maʻamau no ML maʻamau.
  • 54
  • MIT

flunct

He mea hoʻoheheʻe API maʻalahi.
  • 32

gitian.sigs

  • 25

hardware

Hoʻolālā ʻo Verilog a me ka papahana hōʻoia no HOL4 (na CakeML).
  • 20
  • BSD 3-clause "New" or "Revised"

molasses

Kākoʻo MLB no CM (ka SML/NJ Compilation and Library Manager) (na T-Brick).
  • 17
  • MIT

mulligan

He mea hoʻoheheʻe wāwae no ML maʻamau (SML).
  • 13
  • MIT

sml-bdb

Hoʻopaʻa ʻia ʻo Berkeley DB no ML maʻamau.
  • 7

BitcoinUnlimitedWebDownloads

  • 5

typhoon

Nā ʻano hana ʻikepili a me nā algorithms (na eduardoleon).
  • 5
  • GNU General Public License v3.0 only

Coreboot

ʻO ka waihona Coreboot no ka uila ʻana i kaʻu mau polokalamu (e grisu48).
  • 4

sml-parseq

waihona kaʻina hana parallel ma Standard ML.
  • 4
  • MIT