Biblioteker skrevet i Standard ML

Dress

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

GoldenCheetah

Performance Software til cyklister, løbere, triatleter og trænere.
  • 1.6k
  • GNU General Public License v3.0 only

mlton

MLton-depotet.
  • 874
  • GNU General Public License v3.0

cakeml

CakeML: En verificeret implementering af ML.
  • 833
  • GNU General Public License v3.0

urweb

Ur/Web-programmeringssproget.
  • 763
  • GNU General Public License v3.0

mlkit

Standard ML Compiler og Toolkit (af melsman).
  • 239

sml-redprl

Folkets forfiningslogik.
  • 225
  • MIT

openwrt-useful-tools

En repo indeholdende forskellige værktøjer kompileret specifikt til Hak5 WiFi Pineapple MK6 og MK7.
  • 207

mpl

MaPLe-kompileren til Parallel ML.
  • 203
  • GNU General Public License v3.0

apltail

APL-compiler, der er målrettet mod et mellemsprog med en type array.
  • 200
  • MIT

LunarML

En standard ML-compiler, der producerer Lua/JavaScript.
  • 194
  • MIT

smlsharp

SML# compiler.
  • 194
  • MIT

smlpkg

Generisk pakkehåndtering for Standard ML-biblioteker og -programmer.
  • 151
  • MIT

ponyo

Bibliotek og værktøjssæt til Standard ML.
  • 145
  • BSD 2-clause "Simplified"

smackage

Smackage Package Manager til Standard ML.
  • 119
  • GNU General Public License v3.0

perpetualpowersoftau

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

keys-n-hashes

Offentlige nøgler og kontrolsum-hasher.
  • 66

amd-sp-glitch

Supplerende materiale til vores papir: "One glitch to Rule Them All: Fault Injection Attacks Against AMD's Secure Encrypted Virtualization".
  • 65
  • GNU General Public License v3.0 only

cmlib

Et grundlæggende bibliotek af algoritmer og datastrukturer (a la NJlib).
  • 65
  • MIT

smlfmt

En brugerdefineret parser/autoformater til Standard ML.
  • 54
  • MIT

flunct

En funktionel flydende API-generator.
  • 32

gitian.sigs

  • 25

hardware

Verilog udviklings- og verifikationsprojekt for HOL4 (af CakeML).
  • 20
  • BSD 3-clause "New" or "Revised"

molasses

MLB-understøttelse af CM (SML/NJ Compilation and Library Manager) (af T-Brick).
  • 17
  • MIT

mulligan

En stepping debugger til Standard ML (SML).
  • 13
  • MIT

sml-bdb

Berkeley DB binding til Standard ML.
  • 7

BitcoinUnlimitedWebDownloads

  • 5

typhoon

Typiske datastrukturer og algoritmer (af eduardoleon).
  • 5
  • GNU General Public License v3.0 only

Coreboot

Coreboot-lager til flashing af mine enheder (af grisu48).
  • 4

sml-parseq

parallelsekvensbibliotek i Standard ML.
  • 4
  • MIT