Linguagem · Standard ML

Standard ML

Repositórios de código aberto acompanhados que têm Standard ML como linguagem principal, ordenados por estrelas.

9 repositórios

#1
GoldenCheetah@GoldenCheetahStandard ML
Software de desempenho para ciclistas, corredores, triatletas e treinadores
★ 2.190+1Variação de estrelas nos últimos 7 dias
#2
cakeml@CakeMLStandard ML
CakeML: Uma implementação verificada de ML
★ 1.189+2Variação de estrelas nos últimos 7 dias
#3
mlton@MLtonStandard ML
O repositório MLton
★ 1.089+2Variação de estrelas nos últimos 7 dias
#4
urweb@urwebStandard ML
A linguagem de programação Ur/Web.
★ 851+2Variação de estrelas nos últimos 7 dias
#5
HOL@HOL-Theorem-ProverStandard ML
Fontes canônicas para o sistema de demonstração de teoremas HOL4. O branch develop é onde ocorre o "desenvolvimento principal"; quando o develop passa em nossos testes de regressão, o master é mesclado para atualização.
★ 755+0Variação de estrelas nos últimos 7 dias
#6
CatWrt@miaoermuaStandard ML
🌠 Gateway inteligente OpenWrt personalizado, estável e de código aberto
★ 651+0Variação de estrelas nos últimos 7 dias
#7
polyml@polymlStandard ML
Poly/ML
★ 574-1Variação de estrelas nos últimos 7 dias
#8
getcomposer.org@composerStandard ML
Fontes do getcomposer.org
★ 564-1Variação de estrelas nos últimos 7 dias
#9
cheap-airports@jichangtuijian-cheapStandard ML
Avaliações de provedores de VPN, nós de assinatura, nós gratuitos, Clash, V2ray, Mihomo, V2rayN, Singbox, Shadowrocket, Surge
★ 521+13Variação de estrelas nos últimos 7 dias