Bahasa Pemrograman · Standard ML

Standard ML

Repositori open source terpantau dengan Standard ML sebagai bahasa utama, diurutkan berdasarkan bintang.

9 repositori

#1
GoldenCheetah@GoldenCheetahStandard ML
Perangkat lunak performa untuk pesepeda, pelari, atlet triatlon, dan pelatih
★ 2.187-2Perubahan bintang dalam 7 hari terakhir
#2
cakeml@CakeMLStandard ML
CakeML: Implementasi ML yang Terverifikasi
★ 1.188+2Perubahan bintang dalam 7 hari terakhir
#3
mlton@MLtonStandard ML
Repositori MLton
★ 1.088+1Perubahan bintang dalam 7 hari terakhir
#4
urweb@urwebStandard ML
Bahasa pemrograman Ur/Web
★ 851+2Perubahan bintang dalam 7 hari terakhir
#5
HOL@HOL-Theorem-ProverStandard ML
Sumber kanonis untuk sistem pembuktian teorema HOL4. Cabang develop adalah tempat terjadinya "pengembangan utama"; ketika develop lolos pengujian regresi, master digabungkan ke depan untuk menyusul.
★ 754+0Perubahan bintang dalam 7 hari terakhir
#6
CatWrt@miaoermuaStandard ML
OpenWrt smart gateway kustom yang open-source dan stabil
★ 651+0Perubahan bintang dalam 7 hari terakhir
#7
polyml@polymlStandard ML
Poly/ML
★ 574-1Perubahan bintang dalam 7 hari terakhir
#8
getcomposer.org@composerStandard ML
Sumber getcomposer.org
★ 564-1Perubahan bintang dalam 7 hari terakhir
#9
cheap-airports@jichangtuijian-cheapStandard ML
2026 Terbaru Bandara Murah Bandara Berbiaya Rendah Bandara Hemat Bandara Terjangkau Bandara Gratis Bandara Hemat Biaya Bandara Gratis Evaluasi Bandara Akses Internet Aman VPN Langganan Node Bandara Node Gratis Clash V2ray Mihomo V2rayN Singbox Shadowrocket Surge
★ 517+11Perubahan bintang dalam 7 hari terakhir