Standard ML ben írt könyvtárak

Dress

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

GoldenCheetah

Performance szoftver kerékpárosok, futók, triatlonosok és edzők számára.
  • 1.6k
  • GNU General Public License v3.0 only

mlton

Az MLton adattár.
  • 874
  • GNU General Public License v3.0

cakeml

CakeML: Az ML ellenőrzött megvalósítása.
  • 833
  • GNU General Public License v3.0

urweb

Az Ur/Web programozási nyelv.
  • 763
  • GNU General Public License v3.0

mlkit

Szabványos ML fordító és eszközkészlet (melsman).
  • 239

sml-redprl

Az emberek finomítási logikája.
  • 225
  • MIT

openwrt-useful-tools

Különböző eszközöket tartalmazó repo, amelyet kifejezetten a Hak5 WiFi Pineapple MK6 és MK7 számára állítottak össze.
  • 207

mpl

A MaPLe fordító párhuzamos ML-hez.
  • 203
  • GNU General Public License v3.0

apltail

Az APL fordítóprogram egy tipizált tömb köztes nyelvet céloz meg.
  • 200
  • MIT

LunarML

Szabványos ML fordító, amely Lua/JavaScriptet állít elő.
  • 194
  • MIT

smlsharp

SML# fordító.
  • 194
  • MIT

smlpkg

Általános csomagkezelő szabványos ML könyvtárak és programok számára.
  • 151
  • MIT

ponyo

Könyvtár és eszköztár a szabványos ML-hez.
  • 145
  • BSD 2-clause "Simplified"

smackage

Smackage Package Manager szabványos ML-hez.
  • 119
  • GNU General Public License v3.0

perpetualpowersoftau

Új repó: https://github.com/privacy-scaling-explorations/perpetualpowersoftau.
  • 117
  • GNU General Public License v3.0 only

keys-n-hashes

Nyilvános kulcsok és ellenőrzőösszeg-kivonatok.
  • 66

amd-sp-glitch

Kiegészítő anyag lapunkhoz: "Egy hiba az összes szabályhoz: hibabefecskendezési támadások az AMD biztonságos titkosított virtualizációja ellen".
  • 65
  • GNU General Public License v3.0 only

cmlib

Algoritmusok és adatstruktúrák alapvető könyvtára (a la NJlib).
  • 65
  • MIT

smlfmt

Egyéni elemző/automatikus formázó a szabványos ML-hez.
  • 54
  • MIT

flunct

Egy működőképes, folyékony API-generátor.
  • 32

gitian.sigs

  • 25

hardware

Verilog fejlesztési és ellenőrzési projekt a HOL4-hez (CakeML).
  • 20
  • BSD 3-clause "New" or "Revised"

molasses

MLB támogatás a CM-hez (az SML/NJ Compilation and Library Manager) (a T-Brick által).
  • 17
  • MIT

mulligan

Léptető hibakereső a szabványos ML-hez (SML).
  • 13
  • MIT

sml-bdb

Berkeley DB kötés standard ML-hez.
  • 7

BitcoinUnlimitedWebDownloads

  • 5

typhoon

Tipikus adatszerkezetek és algoritmusok (Eduardoleon).
  • 5
  • GNU General Public License v3.0 only

Coreboot

Coreboot tároló eszközeim flasheléséhez (grisu48).
  • 4

sml-parseq

párhuzamos sorozatok könyvtára a Standard ML-ben.
  • 4
  • MIT