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: 17 Dec 2024
https://github.com/KeenS/webml
A Standard ML Compiler for the Web
compiler rust standard-ml webassembly
Last synced: 14 Nov 2024
https://github.com/minoki/lunarml
The Standard ML compiler that produces Lua/JavaScript
Last synced: 16 Dec 2024
https://github.com/azdavis/millet
A language server for Standard ML.
language-server rust standard-ml vscode
Last synced: 18 Dec 2024
https://github.com/mit-plv/timl
TiML: A Functional Programming Language with Time Complexity
functional-programming mlton sml standard-ml time-complexity
Last synced: 10 Nov 2024
https://github.com/shwestrick/smlfmt
A custom parser/auto-formatter for Standard ML
autoformat formatter parser standard-ml
Last synced: 30 Nov 2024
https://github.com/dbohdan/initool
Manipulate INI files from the command line
cli configuration-file ini standard-ml
Last synced: 12 Nov 2024
https://github.com/saityi/a-tour-of-standard-ml
A Tour of Standard ML (in the style of A Tour of Go)
Last synced: 12 Nov 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: 16 Dec 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: 16 Nov 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: 08 Nov 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: 03 Dec 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/eudoxia0/l0
Linear Lisp
linear-types lisp sml standard-ml
Last synced: 05 Nov 2024
https://github.com/saityi/felis
(⚠️ Work in Progress ⚠️) Category theoretic abstractions and implementations
category-theory functional-programming standard-ml
Last synced: 12 Nov 2024
https://github.com/iraikov/kdtree
KD tree implementation in Standard ML / MLton
kd-tree kdtree mlton spatial-index standard-ml
Last synced: 03 Dec 2024
https://github.com/polytypic/sml-optics
Proof of concept optics library for Standard ML
functional-programming isomorphisms lenses optics prisms standard-ml traversals
Last synced: 09 Nov 2024
https://github.com/smile040501/popl-sem5
Paradigms of Programming Laboratory
expression-evaluator lambda-calculus paradigms-of-programming sml standard-ml standard-ml-exercises
Last synced: 15 Nov 2024
https://github.com/sealinesun/jsonx
JSON data description and codecs for OCaml (unreleased)
Last synced: 08 Nov 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: 03 Dec 2024
https://github.com/cacilhas/unittestml
A unit test support for Standard ML using MLton.
smackage sml standard-ml unit-test
Last synced: 20 Nov 2024
https://github.com/cacilhas/tree
tree datatype according to http://homepages.inf.ed.ac.uk/stg/NOTES/node62.html
exercise mlton smackage sml standard-ml tree-structure tutorial
Last synced: 20 Nov 2024
https://github.com/cacilhas/pipelines
Function Pipelines support for SML
pipeline smackage sml standard-ml
Last synced: 20 Nov 2024
https://github.com/isaac-defrain/programminglanguages
Follows the Programming Languages course taught by Dan Grossman at the University of Washington.
notes progamming-language standard-ml
Last synced: 15 Dec 2024
https://github.com/stepankuzmin/coursera-programming-languages
Coursera Programming Languages Course
Last synced: 04 Dec 2024
https://github.com/iraikov/mpi-mlton
MPI bindings for Standard ML / MLton
distributed-computing mlton mpi mpi-bindings standard-ml
Last synced: 03 Dec 2024