Lenguaje · Standard ML

Standard ML

Repositorios de código abierto monitorizados que tienen Standard ML como lenguaje principal, ordenados por estrellas.

9 repositorios

#1
GoldenCheetah@GoldenCheetahStandard ML
Software de rendimiento para ciclistas, corredores, triatletas y entrenadores
★ 2187-2Variación de estrellas de los últimos 7 días
#2
cakeml@CakeMLStandard ML
CakeML: Una implementación verificada de ML
★ 1188+2Variación de estrellas de los últimos 7 días
#3
mlton@MLtonStandard ML
El repositorio de MLton.
★ 1088+1Variación de estrellas de los últimos 7 días
#4
urweb@urwebStandard ML
El lenguaje de programación Ur/Web
★ 851+2Variación de estrellas de los últimos 7 días
#5
HOL@HOL-Theorem-ProverStandard ML
Fuentes canónicas para el sistema de demostración de teoremas HOL4. La rama 'develop' es donde ocurre el desarrollo principal; cuando 'develop' supera nuestras pruebas de regresión, se fusiona con 'master' para actualizarlo.
★ 754+0Variación de estrellas de los últimos 7 días
#6
CatWrt@miaoermuaStandard ML
Puerta de enlace inteligente OpenWrt personalizada, estable y de código abierto.
★ 651+0Variación de estrellas de los últimos 7 días
#7
polyml@polymlStandard ML
Poly/ML
★ 574-1Variación de estrellas de los últimos 7 días
#8
getcomposer.org@composerStandard ML
Fuentes de getcomposer.org.
★ 564-1Variación de estrellas de los últimos 7 días
#9
cheap-airports@jichangtuijian-cheapStandard ML
Servicios de proxy y VPN para 2026: opciones económicas, gratuitas, de alta relación calidad-precio, evaluaciones, suscripciones a nodos y compatibilidad con Clash, V2ray, Mihomo, V2rayN, Singbox, Shadowrocket y Surge.
★ 517+11Variación de estrellas de los últimos 7 días

← Volver a lenguajes