Βιβλιοθήκες γραμμένες σε Standard ML

Dress

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

GoldenCheetah

Λογισμικό απόδοσης για ποδηλάτες, δρομείς, τριαθλητές και προπονητές.
  • 1.6k
  • GNU General Public License v3.0 only

mlton

Το αποθετήριο MLton.
  • 874
  • GNU General Public License v3.0

cakeml

CakeML: Μια επαληθευμένη εφαρμογή του ML.
  • 833
  • GNU General Public License v3.0

urweb

Η γλώσσα προγραμματισμού Ur/Web.
  • 763
  • GNU General Public License v3.0

mlkit

Standard ML Compiler and Toolkit (από melsman).
  • 239

sml-redprl

The People's Refinement Logic.
  • 225
  • MIT

openwrt-useful-tools

Ένα repo που περιέχει διαφορετικά εργαλεία που έχουν δημιουργηθεί ειδικά για τα Hak5 WiFi Pineapple MK6 και MK7..
  • 207

mpl

Ο μεταγλωττιστής MaPLe για Parallel ML.
  • 203
  • GNU General Public License v3.0

apltail

APL Compiler που στοχεύει μια πληκτρολογημένη ενδιάμεση γλώσσα πίνακα.
  • 200
  • MIT

LunarML

Ένας τυπικός μεταγλωττιστής ML που παράγει Lua/JavaScript.
  • 194
  • MIT

smlsharp

SML# μεταγλωττιστής.
  • 194
  • MIT

smlpkg

Γενικός διαχειριστής πακέτων για τυπικές βιβλιοθήκες και προγράμματα ML.
  • 151
  • MIT

ponyo

Βιβλιοθήκη και Εργαλειοθήκη για Standard ML.
  • 145
  • BSD 2-clause "Simplified"

smackage

Smackage Package Manager για Standard ML.
  • 119
  • GNU General Public License v3.0

perpetualpowersoftau

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

keys-n-hashes

Δημόσια κλειδιά και κατακερματισμοί αθροίσματος ελέγχου.
  • 66

amd-sp-glitch

Συμπληρωματικό υλικό στην εργασία μας: "Ένα σφάλμα για να κυριαρχήσει σε όλους: Επιθέσεις ένεσης σφάλματος κατά της ασφαλούς κρυπτογραφημένης εικονικοποίησης της AMD".
  • 65
  • GNU General Public License v3.0 only

cmlib

Μια βασική βιβλιοθήκη αλγορίθμων και δομών δεδομένων (a la NJlib).
  • 65
  • MIT

smlfmt

Ένας προσαρμοσμένος αναλυτής/αυτόματος μορφοποιητής για Standard ML.
  • 54
  • MIT

flunct

Μια λειτουργική γεννήτρια API με ροή.
  • 32

gitian.sigs

  • 25

hardware

Έργο ανάπτυξης και επαλήθευσης της Verilog για το HOL4 (από την CakeML).
  • 20
  • BSD 3-clause "New" or "Revised"

molasses

Υποστήριξη MLB για CM (το SML/NJ Compilation and Library Manager) (από την T-Brick).
  • 17
  • MIT

mulligan

Ένα βήμα εντοπισμού σφαλμάτων για Standard ML (SML).
  • 13
  • MIT

sml-bdb

Δέσμευση DB Berkeley για Standard ML.
  • 7

BitcoinUnlimitedWebDownloads

  • 5

typhoon

Τυπικές δομές δεδομένων και αλγόριθμοι (από eduardoleon).
  • 5
  • GNU General Public License v3.0 only

Coreboot

Αποθετήριο Coreboot για να αναβοσβήνει τις συσκευές μου (από grisu48).
  • 4

sml-parseq

βιβλιοθήκη παράλληλων ακολουθιών σε Standard ML.
  • 4
  • MIT