GitHub 中文社区
回车: Github搜索    Shift+回车: Google搜索
论坛
排行榜
趋势
登录

©2025 GitHub中文社区论坛GitHub官网网站地图GitHub官方翻译

  • X iconGitHub on X
  • Facebook iconGitHub on Facebook
  • Linkedin iconGitHub on LinkedIn
  • YouTube iconGitHub on YouTube
  • Twitch iconGitHub on Twitch
  • TikTok iconGitHub on TikTok
  • GitHub markGitHub’s organization on GitHub
集合主题趋势排行榜
#

Standard ML

Standard ML (SML; "Standard Meta Language") is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.

SML is a modern dialect of ML, the programming language used in the Logic for Computable Functions theorem-proving project. It is distinctive among widely used languages in that it has a formal specification.

Created by Robin Milner, Mads Tofte, Robert Harper

发布于 1983

Website
sml-family.org
Wikipedia
维基百科

相关主题

F#OCaml
https://static.github-zh.com/github_avatars/CakeML?size=40
CakeML / cakeml

CakeML: A Verified Implementation of ML

编程语言formal-verification编译器theorem-provingStandard ML
Standard ML 1.06 k
4 天前
https://static.github-zh.com/github_avatars/MLton?size=40
MLton / mlton

The MLton repository

Standard ML函数式编程编译器
Standard ML 1.02 k
14 天前
https://static.github-zh.com/github_avatars/timheuer?size=40
timheuer / alexa-skills-dotnet

An Amazon Alexa Skills SDK for .NET

alexaintentalexa-skills-sdkaws-lambda.NETdotnet-standarddotnet-libraryStandard MLskills
C# 549
5 个月前
https://static.github-zh.com/github_avatars/KeenS?size=40
KeenS / webml

A Standard ML Compiler for the Web

编译器Standard MLRustWebAssembly
Rust 385
3 年前
https://static.github-zh.com/github_avatars/minoki?size=40
minoki / LunarML

The Standard ML compiler that produces Lua/JavaScript

Standard MLtranspilerLua
Standard ML 377
3 个月前
https://static.github-zh.com/github_avatars/MPLLang?size=40
MPLLang / mpl

The MaPLe compiler: efficient and scalable parallel functional programming

Standard MLparallel
Standard ML 376
3 个月前
https://static.github-zh.com/github_avatars/kfl?size=40
kfl / mosml

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

Standard ML编译器编程语言
Standard ML 343
1 年前
https://static.github-zh.com/github_avatars/mruettgers?size=40
mruettgers / SMLReader

ESP8266 based smart meter (SML) to MQTT gateway

ESP32ESP8266ArduinoStandard MLsmarthomeMQTTsmartmeter
C++ 308
2 年前
https://static.github-zh.com/github_avatars/melsman?size=40
melsman / mlkit

Standard ML Compiler and Toolkit

Standard ML编译器函数式编程regions
Standard ML 286
4 个月前
https://static.github-zh.com/github_avatars/eudoxia0?size=40
eudoxia0 / interim

Low-level Lisp with compile-time memory management

Standard ML编译器Lisp
Standard ML 274
7 年前
https://static.github-zh.com/github_avatars/azdavis?size=40
azdavis / millet

A language server for Standard ML in Rust.

Standard MLlanguage-serverVisual Studio CodeRust
Rust 225
3 个月前
https://static.github-zh.com/github_avatars/smlnj?size=40
smlnj / smlnj

Standard ML of New Jersey

Standard ML函数式编程
Standard ML 210
24 天前
https://static.github-zh.com/github_avatars/SomewhatML?size=40
SomewhatML / sml-compiler

A compiler for Standard ML, somewhat

编译器编程语言Standard ML
Rust 202
3 年前
https://static.github-zh.com/github_avatars/SOSML?size=40
SOSML / SOSML

The Online Interpreter for Standard ML, written in TypeScript.

Standard MLinterpreterTypeScript
TypeScript 177
2 年前
https://static.github-zh.com/github_avatars/diku-dk?size=40
diku-dk / smlpkg

Generic package manager for Standard ML libraries and programs

Standard ML
Standard ML 165
5 个月前
https://static.github-zh.com/github_avatars/tiagofreire-pt?size=40
tiagofreire-pt / Home_Assistant_EDP_Box

Integração das EDP Box com Home Assistant Core

energyboxsmartmetermodbusHome AssistanthomeassistantInternet of thingstasmotaStandard MLMQTT
160
3 年前
https://static.github-zh.com/github_avatars/kenta-shimizu?size=40
kenta-shimizu / secs4java8

This library is SEMI-SECS-communicate implementation on Java8.

hsms-sssecs-isecs-iigemStandard MLJavasemisecs
Java 139
1 年前
https://static.github-zh.com/github_avatars/jez?size=40
jez / vim-better-sml

#编辑器#🎉 Enjoy writing SML within Vim

Standard MLVim
Vim Script 107
9 个月前
https://static.github-zh.com/github_avatars/UBMLtonGroup?size=40
UBMLtonGroup / RTMLton

MLton with Realtime GC and Threading features

frpStandard MLreal-timerealtime
Standard ML 103
1 年前
https://static.github-zh.com/github_avatars/sunchao?size=40
sunchao / tiger

Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel

Standard ML编译器
Standard ML 102
10 年前
loading...