A compiler for Standard ML, somewhat
-
Updated
Apr 25, 2022 - Rust
#
standardml
Here are 15 public repositories matching this topic...
A plugin for embedding Interactive Code Playgrounds in various languages in HTML pages
processing webcomponents rollup svelte p5js playgrounds teavm shared-worker sqljs standardml vite pyodide code-playground codemirror6
-
Updated
Jul 12, 2023 - JavaScript
The Calculus of Communicating Systems (CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the calculus. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing parallel composition, choice between actions and scope rest…
calculus parallel sml robin ccs metalanguage communicating standardml milner sapienza-university ocalm sapienza sapienza-student robinmilner pietrocenciarelli
-
Updated
Sep 2, 2019 - Standard ML
Standard ML (SML) major mode for Emacs using tree-sitter
-
Updated
Oct 15, 2024 - Emacs Lisp
A repository for showcasing my knowledge of the StandardML programming language, and continuing to learn the language.
knowledge article gplv3 ml sml learn md txt gpl3 standardml seanpm2001 seanpm2001-education seanpm2001-learn learn-standardml learn-standardml-lang learn-standardml-language standardml-lang standardml-language
-
Updated
Nov 7, 2022 - Standard ML
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:StandardML category for AI2001, containing Standard ML programming language datasets
ai gplv3 artificial-intelligence dataset r-language md txt gpl3 standardml rmarkdown-language standardml-lang standardml-language ai2001 ai-2001 ai2001-dataset ai-2001-dataset ai2001-development ai-2001-development source-code-dataset standardml-sc-dataset
-
Updated
Nov 25, 2023 - R
The StandardML Programming language IDE submodule for SNU Programming Tools (2D Mode)
web-development programming web-ide gplv3 ide md txt snu gpl3 standardml snu2d-programmingtools snu-2d snu-programming-tools snu-2d-programmingtools snu-development snu-2d-programming-tools snuprogrammingtools snu2dprogrammingtools standardml-lang standardml-language
-
Updated
Nov 7, 2022 - Standard ML
FPGA & LSTM-Driven Smart Irrigation System via Arduino Pico 2, DE-10Lite and TensorFlow
-
Updated
Jul 5, 2025 - Verilog
An implementation SHA3 algorithm in full StandardML
-
Updated
Oct 21, 2024 - Standard ML
Implementing concepts of functional programming on Standard ML language
functional-programming gameoflife sml huffman-coding huffman-tree rbtree functional-programming-examples huffman-compression-algorithm sequences maze-solver standardml
-
Updated
Sep 14, 2019 - Standard ML
Standard ML implementation of interpreter and compiler for Monkey language
interpreter compiler sml monkey monkey-language monkey-programming-language standardml mosml monkey-lang
-
Updated
Sep 4, 2025 - Standard ML
-
Updated
Sep 11, 2026
Haskell interpreter in StandardML + Haskell exercises
-
Updated
Mar 8, 2025 - Standard ML
Add this topic to your repo
To associate your repository with the standardml topic, visit your repo's landing page and select "manage topics."