Knižnice napísané v Standard ML e

Dress

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

GoldenCheetah

Výkonový softvér pre cyklistov, bežcov, triatlonistov a trénerov.
  • 1.6k
  • GNU General Public License v3.0 only

mlton

Úložisko MLton.
  • 874
  • GNU General Public License v3.0

cakeml

CakeML: Overená implementácia ML.
  • 833
  • GNU General Public License v3.0

urweb

Programovací jazyk Ur/Web.
  • 763
  • GNU General Public License v3.0

mlkit

Štandardný ML kompilátor a sada nástrojov (od melsmana).
  • 239

sml-redprl

Logika zjemňovania ľudí.
  • 225
  • MIT

openwrt-useful-tools

Repo obsahujúce rôzne nástroje zostavené špeciálne pre Hak5 WiFi Pineapple MK6 a MK7..
  • 207

mpl

Kompilátor MaPLe pre Parallel ML.
  • 203
  • GNU General Public License v3.0

apltail

Kompilátor APL zacielený na stredný jazyk typového poľa.
  • 200
  • MIT

LunarML

Štandardný kompilátor ML, ktorý vytvára Lua/JavaScript.
  • 194
  • MIT

smlsharp

Kompilátor SML#.
  • 194
  • MIT

smlpkg

Všeobecný správca balíkov pre štandardné knižnice a programy ML.
  • 151
  • MIT

ponyo

Knižnica a sada nástrojov pre štandardné ML.
  • 145
  • BSD 2-clause "Simplified"

smackage

Smackage Package Manager pre štandardné ML.
  • 119
  • GNU General Public License v3.0

perpetualpowersoftau

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

keys-n-hashes

Verejné kľúče a kontrolné hodnoty hash.
  • 66

amd-sp-glitch

Doplnkový materiál k nášmu dokumentu: „Jedna chyba, ktorá ovláda ich všetkých: Útoky v podobe chybného vstrekovania proti zabezpečenej šifrovanej virtualizácii AMD“.
  • 65
  • GNU General Public License v3.0 only

cmlib

Základná knižnica algoritmov a dátových štruktúr (a la NJlib).
  • 65
  • MIT

smlfmt

Vlastný analyzátor/automatický formátovač pre štandardné ML.
  • 54
  • MIT

flunct

Funkčný plynulý generátor API.
  • 32

gitian.sigs

  • 25

hardware

Verilog vývojový a overovací projekt pre HOL4 (od CakeML).
  • 20
  • BSD 3-clause "New" or "Revised"

molasses

Podpora MLB pre CM (SML/NJ Compilation and Library Manager) (od T-Brick).
  • 17
  • MIT

mulligan

Krokový debugger pre štandardné ML (SML).
  • 13
  • MIT

sml-bdb

Berkeley DB viazanie pre Standard ML.
  • 7

BitcoinUnlimitedWebDownloads

  • 5

typhoon

Typické dátové štruktúry a algoritmy (podľa eduardoleonu).
  • 5
  • GNU General Public License v3.0 only

Coreboot

Coreboot úložisko pre flashovanie mojich zariadení (od grisu48).
  • 4

sml-parseq

knižnica paralelných sekvencií v štandardnom ML.
  • 4
  • MIT