Librerie scritte in Standard ML

Dress

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

GoldenCheetah

Software per le prestazioni per ciclisti, corridori, triatleti e allenatori.
  • 1.6k
  • GNU General Public License v3.0 only

mlton

Il repository MLton.
  • 874
  • GNU General Public License v3.0

cakeml

CakeML: un'implementazione verificata di ML.
  • 833
  • GNU General Public License v3.0

urweb

Il linguaggio di programmazione Ur/Web.
  • 763
  • GNU General Public License v3.0

mlkit

Compilatore e toolkit ML standard (di melsman).
  • 239

sml-redprl

La logica della raffinatezza popolare.
  • 225
  • MIT

openwrt-useful-tools

Un repository contenente diversi strumenti compilati appositamente per Hak5 WiFi Pineapple MK6 e MK7..
  • 207

mpl

Il compilatore MaPLe per Parallel ML.
  • 203
  • GNU General Public License v3.0

apltail

Compilatore APL destinato a un linguaggio intermedio array tipizzato.
  • 200
  • MIT

LunarML

Un compilatore ML standard che produce Lua/JavaScript.
  • 194
  • MIT

smlsharp

Compilatore SML#.
  • 194
  • MIT

smlpkg

Gestore di pacchetti generico per librerie e programmi ML standard.
  • 151
  • MIT

ponyo

Libreria e Toolkit per Standard ML.
  • 145
  • BSD 2-clause "Simplified"

smackage

  • 119
  • GNU General Public License v3.0

perpetualpowersoftau

Nuovo repository: https://github.com/privacy-scaling-explorations/perpetualpowersoftau.
  • 117
  • GNU General Public License v3.0 only

keys-n-hashes

  • 66

amd-sp-glitch

Materiale supplementare al nostro documento: "Un problema tecnico per domarli tutti: attacchi di iniezione di errori contro la virtualizzazione crittografata sicura di AMD".
  • 65
  • GNU General Public License v3.0 only

cmlib

Una libreria di base di algoritmi e strutture dati (a la NJlib).
  • 65
  • MIT

smlfmt

  • 54
  • MIT

flunct

Un generatore di API fluente funzionale.
  • 32

gitian.sigs

  • 25

hardware

Progetto di sviluppo e verifica Verilog per HOL4 (di CakeML).
  • 20
  • BSD 3-clause "New" or "Revised"

molasses

  • 17
  • MIT

mulligan

  • 13
  • MIT

sml-bdb

Rilegatura Berkeley DB per Standard ML.
  • 7

BitcoinUnlimitedWebDownloads

  • 5

typhoon

Strutture dati tipografiche e algoritmi (di eduardoleon).
  • 5
  • GNU General Public License v3.0 only

Coreboot

Repository Coreboot per il flashing dei miei dispositivi (di grisu48).
  • 4

sml-parseq

libreria di sequenze parallele in Standard ML.
  • 4
  • MIT