standardml
There are 11 repositories under standardml topic.
SomewhatML/sml-compiler
A compiler for Standard ML, somewhat
lucademenego99/icp-bundle
A plugin for embedding Interactive Code Playgrounds in various languages in HTML pages
ComputerScience-Projects/Calculus-of-Communicating-Systems
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 restriction. CCS is useful for evaluating the qualitative correctness of properties of a system such as deadlock or livelock.
seanpm2001/AI2001_Category-Source_Code-SC-StandardML
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:StandardML category for AI2001, containing Standard ML programming language datasets
seanpm2001/Learn-StandardML
A repository for showcasing my knowledge of the StandardML programming language, and continuing to learn the language.
seanpm2001/SNU_2D_ProgrammingTools_IDE_StandardML
The StandardML Programming language IDE submodule for SNU Programming Tools (2D Mode)
eldesh/sha3_sml
An implementation SHA3 algorithm in full StandardML
ilyak93/StandardML
Implementing concepts of functional programming on Standard ML language
oscar-shing/coursera-programming-language
coursera-programming-language-A-B-C
axhixh/monkey
Standard ML implementation of interpreter and compiler for Monkey language
rurumimic/sml
Standard Meta Language