Topic: sml Goto Github
Some thing interesting about sml
Some thing interesting about sml
sml,@elahe-dastan / @1995parham training and testing repository :books: :nerd_face:
Organization: 1995parham-learning
sml,ioBroker-Adapter to read out Smart-Meter using protocols like SML, D0 and such
User: apollon77
sml,Streaming library for bulk memory operations with Standard ML in MLton
User: biboudis
sml,C++14 State Machine library
Organization: boost-ext
Home Page: https://boost-ext.github.io/sml
sml,CakeML: A Verified Implementation of ML
Organization: cakeml
Home Page: https://cakeml.org
sml,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.
Organization: computerscience-projects
sml,A replacement for the core edl21 sml integration with configurable scan interval to get a lot more detailed power usage info
User: fuslwusl
sml,This repository expects to be a place to find code/resources/examples and more, related to the NTUA lambda flow.
User: giannisdaras
sml,An automatic theorem prover for first order logic with equality
User: gilith
Home Page: http://www.gilith.com/metis/
sml,The opentheory tool processes higher order logic theory packages
User: gilith
Home Page: http://www.gilith.com/opentheory/
sml,A small general purpose programming language for programming on the JVM. Package manager: https://smllregistry.github.io/
User: hexaredecimal
Home Page: https://smllang.gitbook.io
sml,Tasmota SML Parser
User: ixs
Home Page: https://tasmota-sml-parser.dicp.net/
sml,SimpleScript, A Simpler Programming Language (WIP)
User: jaimeloeuf
Home Page: https://github.com/Jaimeloeuf/SS/blob/master/spec.md
sml,:tada: Enjoy writing SML within Vim
User: jez
Home Page: https://blog.jez.io/sml-dev-setup/
sml,Coursera: Programming Languages, Univ. of Washington
User: jonnykong
sml,A D0-SML to SMA Energy Meter converter for the ESP8266 and Raspberry Pi
User: jtuemmler
sml,This package is SEMI-SECS-communicate implementation on Python3.
User: kenta-shimizu
sml,This is SEMI SECS-Simulator Java application
User: kenta-shimizu
sml,This library is SEMI-SECS-communicate implementation on Java8.
User: kenta-shimizu
sml,Parallel ML compiler
Organization: manticoreproject
Home Page: http://manticore.cs.uchicago.edu
sml,SML/NJ simple kernel for Jupyter/IPython Notebook
User: matsubara0507
sml,TiML: A Functional Programming Language with Time Complexity
Organization: mit-plv
Home Page: http://timl.csail.mit.edu
sml,The MLton repository
Organization: mlton
Home Page: http://mlton.org
sml,ESP8266 based smart meter (SML) to MQTT gateway
User: mruettgers
sml,Python library for EDL21 smart meters using Smart Message Language (SML)
User: mtdcr
sml,Low memory C++ library to parse Smart Message Language (SML) data from smart meters.
User: olliiiver
sml,Repository contenente esami con soluzione proposti durante lo sbarramento dell'esame di Programmazione Funzionale (prof Kuper).
User: pater999
sml,Java library with shared Peppol components - identifier handling, codelists, SBDH handler, SMP Client, SML Client
User: phax
sml,Standard ML autoformatter
Organization: projectsavanna
sml,Recursion schemes in Standard ML
Organization: projectsavanna
sml,A library for working with audio in SML
User: shwestrick
sml,This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
Organization: smlnj
sml,Standard ML of New Jersey
Organization: smlnj
sml,An experimental language server for SomewhatML
Organization: somewhatml
sml, The Online Interpreter for Standard ML, written in TypeScript.
Organization: sosml
Home Page: https://sosml.org
sml,Integração das EDP Box com Home Assistant Core
User: tiagofreire-pt
sml,An Amazon Alexa Skills SDK for .NET
User: timheuer
sml,Make your Rails app serve Amazon Alexa skill requests
User: tsrivishnu
sml,MLton with Realtime GC and Threading features
Organization: ubmltongroup
sml,Solutions for the exercises of the book "Modern Programming Languages: A Practical Approach", by Adam Brooks Webber
User: uphilld
sml,TiML: A Functional Programming Language with Time Complexity
User: wangpengmit
Home Page: http://timl.csail.mit.edu
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.