Bibliotecas escritas en Standard ML

Dress

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

GoldenCheetah

Software de rendimiento para ciclistas, corredores, triatletas y entrenadores.
  • 1.6k
  • GNU General Public License v3.0 only

mlton

El repositorio de MLton.
  • 874
  • GNU General Public License v3.0

cakeml

CakeML: una implementación verificada de ML.
  • 833
  • GNU General Public License v3.0

urweb

El lenguaje de programación Ur/Web.
  • 763
  • GNU General Public License v3.0

mlkit

Compilador y kit de herramientas de ML estándar (por melsman).
  • 239

sml-redprl

La lógica del refinamiento del pueblo.
  • 225
  • MIT

openwrt-useful-tools

Un repositorio que contiene diferentes herramientas compiladas específicamente para Hak5 WiFi Pineapple MK6 y MK7.
  • 207

mpl

El compilador MaPLe para Parallel ML.
  • 203
  • GNU General Public License v3.0

apltail

Compilador APL dirigido a un lenguaje intermedio de matriz tipada.
  • 200
  • MIT

LunarML

Un compilador de ML estándar que produce Lua/JavaScript.
  • 194
  • MIT

smlsharp

Compilador SML#.
  • 194
  • MIT

smlpkg

Administrador de paquetes genérico para bibliotecas y programas de ML estándar.
  • 151
  • MIT

ponyo

Biblioteca y kit de herramientas para ML estándar.
  • 145
  • BSD 2-clause "Simplified"

smackage

Administrador de paquetes de Smackage para ML estándar.
  • 119
  • GNU General Public License v3.0

perpetualpowersoftau

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

keys-n-hashes

Claves públicas y hashes de suma de control.
  • 66

amd-sp-glitch

Material complementario de nuestro artículo: "Un error para gobernarlos a todos: Ataques de inyección de fallas contra la virtualización cifrada segura de AMD".
  • 65
  • GNU General Public License v3.0 only

cmlib

Una biblioteca básica de algoritmos y estructuras de datos (a la NJlib).
  • 65
  • MIT

smlfmt

Un analizador/formateador automático personalizado para Standard ML.
  • 54
  • MIT

flunct

Un generador de API fluido y funcional.
  • 32

gitian.sigs

  • 25

hardware

Proyecto de verificación y desarrollo de Verilog para HOL4 (por CakeML).
  • 20
  • BSD 3-clause "New" or "Revised"

molasses

Compatibilidad con MLB para CM (Administrador de bibliotecas y compilación SML/NJ) (por T-Brick).
  • 17
  • MIT

mulligan

Un depurador paso a paso para Standard ML (SML).
  • 13
  • MIT

sml-bdb

Enlace Berkeley DB para Standard ML.
  • 7

BitcoinUnlimitedWebDownloads

  • 5

typhoon

Estructuras de datos tipificados y algoritmos (por eduardoleon).
  • 5
  • GNU General Public License v3.0 only

Coreboot

Repositorio Coreboot para flashear mis dispositivos (por grisu48).
  • 4

sml-parseq

biblioteca de secuencias paralelas en Standard ML.
  • 4
  • MIT