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

SMLDoc

Το SMLDoc είναι ένα εργαλείο για τη δημιουργία τεκμηρίωσης API σε μορφή HTML από σχόλια εγγράφων σε πηγαίο κώδικα γραμμένα σε Standard ML..
  • 2
  • BSD 3-clause "New" or "Revised"

sml-libs

Μια συλλογή από χρήσιμες βιβλιοθήκες Standard ML, που μεταφέρονται κυρίως από άλλες γλώσσες.
  • 1

master-thesis

  • 0
  • GNU General Public License v3.0

zstd

  • 0