Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: standardml
seanpm2001/SNU_2D_ProgrammingTools_IDE_StandardML
The StandardML Programming language IDE submodule for SNU Programming Tools (2D Mode)
Language: Standard ML - Size: 893 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1
seanpm2001/AI2001_Category-Source_Code-SC-StandardML
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:StandardML category for AI2001, containing Standard ML programming language datasets
Language: R - Size: 2.47 MB - Last synced: about 1 month ago - Pushed: 6 months ago - Stars: 2 - Forks: 1
lucademenego99/icp-bundle
A plugin for embedding Interactive Code Playgrounds in various languages in HTML pages
Language: JavaScript - Size: 553 MB - Last synced: 16 days ago - Pushed: 11 months ago - Stars: 9 - Forks: 4
rurumimic/sml
Standard Meta Language
Language: Standard ML - Size: 1000 Bytes - Last synced: about 1 month ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0
seanpm2001/Learn-StandardML
A repository for showcasing my knowledge of the StandardML programming language, and continuing to learn the language.
Language: Standard ML - Size: 850 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1
SomewhatML/sml-compiler
A compiler for Standard ML, somewhat
Language: Rust - Size: 2.76 MB - Last synced: 7 months ago - Pushed: about 2 years ago - Stars: 195 - Forks: 4
axhixh/monkey
Standard ML implementation of interpreter and compiler for Monkey language
Language: Standard ML - Size: 21.5 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0
oscar-shing/coursera-programming-language
coursera-programming-language-A-B-C
Language: Ruby - Size: 2.75 MB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
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.
Language: Standard ML - Size: 158 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 4 - Forks: 1
eldesh/sha3_sml
An implementation SHA3 algorithm in full StandardML
Language: Standard ML - Size: 10.4 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
ilyak93/StandardML
Implementing concepts of functional programming on Standard ML language
Language: Standard ML - Size: 17.6 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0