Perpustakaan yang ditulis dalam Standard ML

Dress

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

GoldenCheetah

Perangkat Lunak Performa untuk Pesepeda, Pelari, Triatlon, dan Pelatih.
  • 1.6k
  • GNU General Public License v3.0 only

mlton

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

cakeml

CakeML: Implementasi ML yang Terverifikasi.
  • 833
  • GNU General Public License v3.0

urweb

Bahasa pemrograman Ur/Web.
  • 763
  • GNU General Public License v3.0

mlkit

Kompiler dan Toolkit ML Standar (oleh melsman).
  • 239

sml-redprl

Logika Perbaikan Rakyat.
  • 225
  • MIT

openwrt-useful-tools

Repo berisi berbagai alat yang disusun khusus untuk Hak5 WiFi Pineapple MK6 dan MK7..
  • 207

mpl

Compiler MaPLe untuk Parallel ML.
  • 203
  • GNU General Public License v3.0

apltail

APL Compiler menargetkan bahasa perantara array yang diketik.
  • 200
  • MIT

LunarML

Kompiler ML Standar yang menghasilkan Lua/JavaScript.
  • 194
  • MIT

smlsharp

Kompiler SML #.
  • 194
  • MIT

smlpkg

Pengelola paket generik untuk pustaka dan program ML Standar.
  • 151
  • MIT

ponyo

Library dan Toolkit untuk ML Standar.
  • 145
  • BSD 2-clause "Simplified"

smackage

Pengelola Paket Smackage untuk ML Standar.
  • 119
  • GNU General Public License v3.0

perpetualpowersoftau

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

keys-n-hashes

Kunci Publik dan Hash Checksum.
  • 66

amd-sp-glitch

Materi tambahan untuk makalah kami: "Satu Kesalahan untuk Mengatur Mereka Semua: Serangan Injeksi Kesalahan Terhadap Virtualisasi Terenkripsi Aman AMD".
  • 65
  • GNU General Public License v3.0 only

cmlib

Pustaka dasar algoritme dan struktur data (a la NJlib).
  • 65
  • MIT

smlfmt

Parser/pemformat otomatis khusus untuk ML Standar.
  • 54
  • MIT

flunct

Generator API lancar yang fungsional.
  • 32

gitian.sigs

  • 25

hardware

Proyek pengembangan dan verifikasi Verilog untuk HOL4 (oleh CakeML).
  • 20
  • BSD 3-clause "New" or "Revised"

molasses

Dukungan MLB untuk CM (Pengelola Perpustakaan dan Kompilasi SML/NJ) (oleh T-Brick).
  • 17
  • MIT

mulligan

Debugger loncatan untuk Standard ML (SML).
  • 13
  • MIT

sml-bdb

Pengikatan Berkeley DB untuk ML Standar.
  • 7

BitcoinUnlimitedWebDownloads

  • 5

typhoon

Struktur dan algoritme data yang khas (oleh eduardoleon).
  • 5
  • GNU General Public License v3.0 only

Coreboot

Repositori Coreboot untuk mem-flash perangkat saya (oleh grisu48).
  • 4

sml-parseq

perpustakaan urutan paralel di Standard ML.
  • 4
  • MIT