17 results found Sort:
- Filter by Primary Language:
- Standard ML (7)
- C++ (2)
- C (1)
- TypeScript (1)
- Vim Script (1)
- Java (1)
- C# (1)
- +
C++14 State Machine library
Created
2015-12-05
1,138 commits to master branch, last one 3 months ago
CakeML: A Verified Implementation of ML
Created
2012-10-09
23,535 commits to master branch, last one a day ago
The MLton repository
Created
2013-03-08
10,159 commits to master branch, last one about a month ago
An Amazon Alexa Skills SDK for .NET
Created
2016-12-13
613 commits to master branch, last one 10 months ago
The MaPLe compiler for efficient and scalable parallel functional programming
Created
2013-11-21
11,845 commits to main branch, last one 2 days ago
ESP8266 based smart meter (SML) to MQTT gateway
Created
2019-03-08
153 commits to develop branch, last one about a year ago
Standard ML of New Jersey
Created
2022-07-04
354 commits to main branch, last one 21 days ago
The Online Interpreter for Standard ML, written in TypeScript.
Created
2017-07-11
1,306 commits to main branch, last one about a year ago
Generic package manager for Standard ML libraries and programs
Created
2020-03-08
51 commits to master branch, last one 2 months ago
Integração das EDP Box com Home Assistant Core
Created
2020-03-13
170 commits to master branch, last one 2 years ago
This library is SEMI-SECS-communicate implementation on Java8.
Created
2019-03-22
272 commits to master branch, last one 7 months ago
:tada: Enjoy writing SML within Vim
Created
2016-03-09
125 commits to master branch, last one 2 months ago
MLton with Realtime GC and Threading features
Created
2015-10-14
7,210 commits to conc-stacklets branch, last one 2 years ago
@elahe-dastan / @1995parham training and testing repository :books: :nerd_face:
Created
2015-01-12
1,365 commits to main branch, last one about a year ago
Open-source repository for Semantic Modeling Language (SML)
Created
2024-08-26
82 commits to main branch, last one 19 days ago
Low memory C++ library to parse Smart Message Language (SML) data from smart meters.
Created
2022-02-06
89 commits to develop branch, last one about a month ago
This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
Created
2022-06-05
383 commits to main branch, last one 22 days ago