Bibliothèques écrites en Standard ML

Dress

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

GoldenCheetah

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

mlton

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

cakeml

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

urweb

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

mlkit

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

sml-redprl

La logique populaire de raffinement.
  • 225
  • MIT

openwrt-useful-tools

Un référentiel contenant différents outils compilés spécifiquement pour les Hak5 WiFi Pineapple MK6 et MK7.
  • 207

mpl

Le compilateur MaPLe pour Parallel ML.
  • 203
  • GNU General Public License v3.0

apltail

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

LunarML

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

smlsharp

Compilateur SML#.
  • 194
  • MIT

smlpkg

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

ponyo

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

smackage

Gestionnaire de packages Smackage pour ML standard.
  • 119
  • GNU General Public License v3.0

perpetualpowersoftau

Nouveau dépôt: https://github.com/privacy-scaling-explorations/perpetualpowersoftau.
  • 117
  • GNU General Public License v3.0 only

keys-n-hashes

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

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".
  • 65
  • GNU General Public License v3.0 only

cmlib

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

smlfmt

Un analyseur/formateur automatique personnalisé pour le ML standard.
  • 54
  • MIT

flunct

Un générateur d'API fluide et fonctionnel.
  • 32

gitian.sigs

  • 25

hardware

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

molasses

Prise en charge MLB pour CM (le gestionnaire de compilation et de bibliothèque SML/NJ) (par T-Brick).
  • 17
  • MIT

mulligan

Un débogueur pas à pas pour Standard ML (SML).
  • 13
  • MIT

sml-bdb

Liaison Berkeley DB pour Standard ML.
  • 7

BitcoinUnlimitedWebDownloads

  • 5

typhoon

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

Coreboot

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

sml-parseq

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