Bibliothèques écrites en Standard ML

Dress

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

GoldenCheetah

Logiciel de performance pour cyclistes, coureurs, triathlètes et entraîneurs.
  • 1.4k
  • GNU General Public License v3.0 only

mlton

Le référentiel MLton.
  • 796
  • GNU General Public License v3.0

cakeml

CakeML: une implémentation vérifiée de ML.
  • 758
  • GNU General Public License v3.0

urweb

Le langage de programmation Ur/Web.
  • 755
  • GNU General Public License v3.0

mlkit

Compilateur et boîte à outils ML standard (par melsman).
  • 223

apltail

Compilateur APL ciblant un langage intermédiaire de tableau typé.
  • 191
  • MIT

smlsharp

Compilateur SML#.
  • 169
  • MIT

ponyo

Bibliothèque et boîte à outils pour le ML standard.
  • 149
  • BSD 2-clause "Simplified"

smlpkg

Gestionnaire de packages générique pour les bibliothèques et les programmes de ML standard.
  • 141
  • MIT

LunarML

Un compilateur Standard ML qui produit Lua/JavaScript.
  • 126
  • MIT

perpetualpowersoftau

Phase 1 d'une cérémonie de configuration de confiance multipartite pour les zk-SNARK.
  • 77
  • GNU General Public License v3.0 only

cmlib

Une bibliothèque de base d'algorithmes et de structures de données (à la NJlib).
  • 59
  • MIT

keys-n-hashes

Clés publiques et hachages de somme de contrôle.
  • 58

amd-sp-glitch

Matériel supplémentaire à notre article: "Un problème pour les gouverner tous: attaques par injection de fautes contre la virtualisation cryptée sécurisée d'AMD".
  • 47
  • GNU General Public License v3.0 only

gitian.sigs

  • 19

hardware

Projet de développement et de vérification Verilog pour HOL4 (par CakeML).
  • 14
  • BSD 3-clause "New" or "Revised"

sml-bdb

Liaison Berkeley DB pour Standard ML.
  • 7

typhoon

Structures de données typées et algorithmes (par eduardoleon).
  • 4
  • GNU General Public License v3.0 only

sml-parseq

bibliothèque de séquences parallèles dans Standard ML.
  • 4
  • MIT

BitcoinUnlimitedWebDownloads

  • 4

Coreboot

Référentiel Coreboot pour flasher mes appareils (par grisu48).