Các thư viện được viết bằng Standard ML

Dress

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

GoldenCheetah

Phần mềm hiệu suất dành cho người đi xe đạp, người chạy bộ, vận động viên ba môn phối hợp và huấn luyện viên.
  • 1.6k
  • GNU General Public License v3.0 only

mlton

Kho lưu trữ MLton.
  • 874
  • GNU General Public License v3.0

cakeml

CakeML: Triển khai ML đã được xác minh.
  • 833
  • GNU General Public License v3.0

urweb

Ngôn ngữ lập trình Ur/Web.
  • 763
  • GNU General Public License v3.0

mlkit

Bộ công cụ và trình biên dịch ML tiêu chuẩn (của melsman).
  • 239

sml-redprl

Logic sàng lọc của mọi người.
  • 225
  • MIT

openwrt-useful-tools

Một repo chứa các công cụ khác nhau được biên dịch riêng cho Hak5 WiFi Pineapple MK6 và MK7..
  • 207

mpl

Trình biên dịch MaPLe cho Parallel ML.
  • 203
  • GNU General Public License v3.0

apltail

Trình biên dịch APL nhắm mục tiêu ngôn ngữ trung gian mảng đã nhập.
  • 200
  • MIT

LunarML

Trình biên dịch ML tiêu chuẩn tạo ra Lua/JavaScript.
  • 194
  • MIT

smlsharp

Trình biên dịch SML#.
  • 194
  • MIT

smlpkg

Trình quản lý gói chung cho các chương trình và thư viện ML tiêu chuẩn.
  • 151
  • MIT

ponyo

Thư viện và Bộ công cụ cho ML tiêu chuẩn.
  • 145
  • BSD 2-clause "Simplified"

smackage

Trình quản lý gói Smackage cho ML tiêu chuẩn.
  • 119
  • GNU General Public License v3.0

perpetualpowersoftau

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

keys-n-hashes

Khóa công khai và Băm tổng kiểm tra.
  • 66

amd-sp-glitch

Tài liệu bổ sung cho bài báo của chúng tôi: "Một trục trặc để thống trị tất cả: Tấn công tiêm lỗi chống lại ảo hóa được mã hóa an toàn của AMD".
  • 65
  • GNU General Public License v3.0 only

cmlib

Một thư viện cơ bản gồm các thuật toán và cấu trúc dữ liệu (a la NJlib).
  • 65
  • MIT

smlfmt

Trình phân tích cú pháp/trình định dạng tự động tùy chỉnh cho ML Tiêu chuẩn.
  • 54
  • MIT

flunct

Trình tạo API thông thạo chức năng.
  • 32

gitian.sigs

  • 25

hardware

Dự án xác minh và phát triển Verilog cho HOL4 (bởi CakeML).
  • 20
  • BSD 3-clause "New" or "Revised"

molasses

Hỗ trợ MLB cho CM (Trình quản lý thư viện và biên dịch SML/NJ) (của T-Brick).
  • 17
  • MIT

mulligan

Trình gỡ lỗi từng bước cho ML Tiêu chuẩn (SML).
  • 13
  • MIT

sml-bdb

Liên kết Berkeley DB cho ML tiêu chuẩn.
  • 7

BitcoinUnlimitedWebDownloads

  • 5

typhoon

Các cấu trúc dữ liệu và thuật toán chính thống (bởi eduardoleon).
  • 5
  • GNU General Public License v3.0 only

Coreboot

Kho lưu trữ Coreboot để flash thiết bị của tôi (bởi grisu48).
  • 4

sml-parseq

thư viện trình tự song song trong ML tiêu chuẩn.
  • 4
  • MIT