16 results found Sort:

boost-ext
sml boost-ext
173
1.1k
bsl-1.0
75
C++14 State Machine library
sml state-machine design-patterns metaprogramming
Created 2015-12-05
1,137 commits to master branch, last one 27 days ago
MLton
mlton MLton
125
930
other
50
The MLton repository
sml mlton compiler standard-ml functional-programming
Created 2013-03-08
10,147 commits to master branch, last one about a month ago
CakeML
cakeml CakeML
81
925
other
46
CakeML: A Verified Implementation of ML
hol sml compiler theorem-proving formal-semantics formal-verification programming-language
Created 2012-10-09
22,865 commits to master branch, last one 23 hours ago
timheuer
alexa-skills-dotnet timheuer
108
549
mit
37
An Amazon Alexa Skills SDK for .NET
sml alexa dotnet intent skills aws-lambda dotnetcore dotnet-core dotnet-library dotnet-standard alexa-skills-sdk
Created 2016-12-13
613 commits to master branch, last one 4 months ago
MPLLang
mpl MPLLang
18
302
other
23
The MaPLe compiler for efficient and scalable parallel functional programming
sml mlton parallel standard-ml
Created 2013-11-21
11,815 commits to main branch, last one a day ago
mruettgers
SMLReader mruettgers
66
285
gpl-3.0
27
ESP8266 based smart meter (SML) to MQTT gateway
sml mqtt obis esp32 meter smart arduino esp8266 smarthome smartmeter sml-reader
Created 2019-03-08
153 commits to develop branch, last one about a year ago
spamegg1
reviews spamegg1
17
274
gpl-3.0
15
Reviewing some online CS courses I took
hdl sml java ruby logic scala smlnj kotlin python racket assembly databases algorithms javascript networking mathematics nand2tetris computer-graphics operating-systems programming-languages
Created 2020-06-10
922 commits to master branch, last one about a month ago
SOSML
SOSML SOSML
7
171
gpl-3.0
9
The Online Interpreter for Standard ML, written in TypeScript.
sml typescript interpreter
Created 2017-07-11
1,306 commits to main branch, last one 10 months ago
smlnj
smlnj smlnj
13
171
bsd-3-clause
13
Standard ML of New Jersey
sml standard-ml functional-programming
Created 2022-07-04
315 commits to main branch, last one 11 days ago
diku-dk
smlpkg diku-dk
4
159
mit
9
Generic package manager for Standard ML libraries and programs
sml smlpkg standard-ml
Created 2020-03-08
48 commits to master branch, last one 9 months ago
tiagofreire-pt
Home_Assistant_EDP_Box tiagofreire-pt
23
150
gpl-3.0
17
Integração das EDP Box com Home Assistant Core
box edp iot sml home mqtt meter rs485 smart energy modbus tasmota assistant homeassistant modbus-serial
Created 2020-03-13
170 commits to master branch, last one 2 years ago
kenta-shimizu
secs4java8 kenta-shimizu
54
111
apache-2.0
10
This library is SEMI-SECS-communicate implementation on Java8.
gem sml hsms java secs semi java8 secs-i hsms-gs hsms-ss secs-ii
Created 2019-03-22
272 commits to master branch, last one about a month ago
jez
vim-better-sml jez
9
102
unknown
4
:tada: Enjoy writing SML within Vim
sml vim
Created 2016-03-09
123 commits to master branch, last one 6 months ago
UBMLtonGroup
RTMLton UBMLtonGroup
2
101
other
15
MLton with Realtime GC and Threading features
frp sml mlton realtime real-time
Created 2015-10-14
7,210 commits to conc-stacklets branch, last one 2 years ago
1995parham-learning
Learning 1995parham-learning
2
57
gpl-2.0
5
@elahe-dastan / @1995parham training and testing repository :books: :nerd_face:
c go sml bash rust vhdl julia
Created 2015-01-12
1,365 commits to main branch, last one about a year ago
olliiiver
sml_parser olliiiver
15
34
lgpl-2.1
2
Low memory C++ library to parse Smart Message Language (SML) data from smart meters.
sml obis edl21 esp32 arduino sml-reader tr-03109-1 smart-meter smart-meters smart-metering arduino-library
Created 2022-02-06
87 commits to develop branch, last one 10 months ago