In Standard ML geschriebene Bibliotheken

Dress

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

GoldenCheetah

Leistungssoftware für Radfahrer, Läufer, Triathleten und Trainer.
  • 1.6k
  • GNU General Public License v3.0 only

mlton

Das MLton-Repository.
  • 874
  • GNU General Public License v3.0

cakeml

CakeML: Eine verifizierte Implementierung von ML.
  • 833
  • GNU General Public License v3.0

urweb

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

mlkit

Standard-ML-Compiler und Toolkit (von Melsman).
  • 239

sml-redprl

Die Verfeinerungslogik des Volkes.
  • 225
  • MIT

openwrt-useful-tools

Ein Repo mit verschiedenen Tools, die speziell für die Hak5 WiFi Pineapple MK6 und MK7 zusammengestellt wurden.
  • 207

mpl

Der MaPLe-Compiler für Parallel ML.
  • 203
  • GNU General Public License v3.0

apltail

APL-Compiler, der auf eine typisierte Array-Zwischensprache abzielt.
  • 200
  • MIT

LunarML

Ein Standard-ML-Compiler, der Lua/JavaScript erstellt.
  • 194
  • MIT

smlsharp

SML#-Compiler.
  • 194
  • MIT

smlpkg

Allgemeiner Paketmanager für Standard-ML-Bibliotheken und -Programme.
  • 151
  • MIT

ponyo

Bibliothek und Toolkit für Standard-ML.
  • 145
  • BSD 2-clause "Simplified"

smackage

Smackage-Paketmanager für Standard-ML.
  • 119
  • GNU General Public License v3.0

perpetualpowersoftau

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

keys-n-hashes

Öffentliche Schlüssel und Prüfsummen-Hashes.
  • 66

amd-sp-glitch

Ergänzendes Material zu unserem Artikel: „One Glitch to Rule Them All: Fault Injection Attacks Against AMD's Secure Encrypted Virtualization“.
  • 65
  • GNU General Public License v3.0 only

cmlib

Eine Basisbibliothek mit Algorithmen und Datenstrukturen (à la NJlib).
  • 65
  • MIT

smlfmt

Ein benutzerdefinierter Parser/Autoformatierer für Standard ML.
  • 54
  • MIT

flunct

Ein funktional fließender API-Generator.
  • 32

gitian.sigs

  • 25

hardware

Verilog-Entwicklungs- und Verifizierungsprojekt für HOL4 (von CakeML).
  • 20
  • BSD 3-clause "New" or "Revised"

molasses

MLB-Unterstützung für CM (den SML/NJ Compilation and Library Manager) (von T-Brick).
  • 17
  • MIT

mulligan

Ein schrittweiser Debugger für Standard ML (SML).
  • 13
  • MIT

sml-bdb

Berkeley DB-Bindung für Standard ML.
  • 7

BitcoinUnlimitedWebDownloads

  • 5

typhoon

Typische Datenstrukturen und Algorithmen (von eduardoleon).
  • 5
  • GNU General Public License v3.0 only

Coreboot

Coreboot-Repository zum Flashen meiner Geräte (von grisu48).
  • 4

sml-parseq

Bibliothek paralleler Sequenzen in Standard ML.
  • 4
  • MIT