Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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.
- GitHub: https://github.com/topics/standard-ml
- Wikipedia: https://en.wikipedia.org/wiki/Standard_ML
- Created by: Robin Milner, Mads Tofte, Robert Harper
- Released: 1983
- Related Topics: language, fsharp, ocaml,
- Aliases: sml,
- Last updated: 2024-10-04 00:23:30 UTC
- JSON Representation
https://github.com/MLton/mlton
The MLton repository
compiler functional-programming mlton sml standard-ml
Last synced: 29 Oct 2024
https://github.com/keens/webml
A Standard ML Compiler for the Web
compiler rust standard-ml webassembly
Last synced: 26 Oct 2024
https://github.com/KeenS/webml
A Standard ML Compiler for the Web
compiler rust standard-ml webassembly
Last synced: 03 Aug 2024
https://github.com/azdavis/millet
A language server for Standard ML.
language-server rust standard-ml vscode
Last synced: 29 Oct 2024
https://github.com/shwestrick/smlfmt
A custom parser/auto-formatter for Standard ML
autoformat formatter parser standard-ml
Last synced: 09 Aug 2024
https://github.com/dbohdan/initool
Manipulate INI files from the command line
cli configuration-file ini standard-ml
Last synced: 11 Oct 2024
https://github.com/kavon/sml-language-server
an SML language server that uses SML/NJ's "visible compiler" feature
ide language-server-protocol standard-ml
Last synced: 28 Oct 2024
https://github.com/prikhi/modern-compiler-implementation-ml
Tiger Compiler from Modern Compiler Implementation in ML
book-exercises standard-ml tiger tiger-compiler tiger-language
Last synced: 11 Oct 2024
https://github.com/siraben/eopl
Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
Last synced: 23 Oct 2024
https://github.com/doct0rX/ProgrammingLanguages
Programming Languages (University of Washington)
programming-languages racket ruby standard-ml
Last synced: 29 Oct 2024
https://github.com/matsubara0507/simple-ismlnj
SML/NJ simple kernel for Jupyter/IPython Notebook
dockerfile jupyter-kernels sml standard-ml
Last synced: 19 Oct 2024
https://github.com/emanuelenardi/latex-sml
Collezione degli esami del corso di Programmazione Funzionale tenuto all'Università degli Studi di Trento.
exams functional-programming latex latex-document standard-ml university-course
Last synced: 28 Sep 2024
https://github.com/iraikov/tensor
Standard ML tensor/multidimensional array library
linear-algebra matrix-library mlton sparse-matrix standard-ml tensor
Last synced: 19 Oct 2024
https://github.com/azdavis/sml-libs-scraper
Scraper for online SML libraries
Last synced: 14 Oct 2024
https://github.com/michaelsproul/pizzaml
Hopefully a Rust-like syntax for ML
compiler rust standard-ml transpiler
Last synced: 28 Oct 2024
https://github.com/iraikov/kdtree
KD tree implementation in Standard ML / MLton
kd-tree kdtree mlton spatial-index standard-ml
Last synced: 19 Oct 2024
https://github.com/iraikov/mpi-mlton
MPI bindings for Standard ML / MLton
distributed-computing mlton mpi mpi-bindings standard-ml
Last synced: 19 Oct 2024
https://github.com/iraikov/rklib
Runge-Kutta methods in Standard ML
adaptive-solvers error-estimators runge-kutta runge-kutta-adaptive-step-size runge-kutta-methods standard-ml
Last synced: 19 Oct 2024
https://github.com/stepankuzmin/coursera-programming-languages
Coursera Programming Languages Course
Last synced: 15 Oct 2024
