18 results found Sort:
- Filter by Primary Language:
- Standard ML (7)
- C++ (2)
- Java (1)
- Python (1)
- TypeScript (1)
- C (1)
- Vim Script (1)
- C# (1)
- +
C++14 State Machine library
Created
2015-12-05
1,138 commits to master branch, last one 7 months ago
CakeML: A Verified Implementation of ML
Created
2012-10-09
23,883 commits to master branch, last one 5 days ago
The MLton repository
Created
2013-03-08
10,198 commits to master branch, last one 12 days ago
An Amazon Alexa Skills SDK for .NET
Created
2016-12-13
614 commits to master branch, last one about a month ago
The MaPLe compiler: efficient and scalable parallel functional programming
Created
2013-11-21
11,854 commits to main branch, last one about a month ago
ESP8266 based smart meter (SML) to MQTT gateway
Created
2019-03-08
153 commits to develop branch, last one 2 years ago
Standard ML of New Jersey
Created
2022-07-04
492 commits to main branch, last one 8 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
62 commits to master branch, last one about a month 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 10 months ago
:tada: Enjoy writing SML within Vim
Created
2016-03-09
125 commits to master branch, last one 5 months ago
MLton with Realtime GC and Threading features
Created
2015-10-14
7,210 commits to conc-stacklets branch, last one 3 years ago
Open-source repository for Semantic Modeling Language (SML)
Created
2024-08-26
94 commits to main branch, last one 4 days ago
@elahe-dastan / @1995parham training and testing repository :books: :nerd_face:
Created
2015-01-12
1,365 commits to main branch, last one 2 years 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 4 months 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
440 commits to main branch, last one 2 days ago