Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with sml
A curated list of projects in awesome lists tagged with sml .
https://github.com/boost-ext/sml
C++14 State Machine library
design-patterns metaprogramming sml state-machine
Last synced: 01 Oct 2024
https://github.com/MLton/mlton
The MLton repository
compiler functional-programming mlton sml standard-ml
Last synced: 31 Jul 2024
https://github.com/CakeML/cakeml
CakeML: A Verified Implementation of ML
compiler formal-semantics formal-verification hol programming-language sml theorem-proving
Last synced: 01 Aug 2024
https://github.com/timheuer/alexa-skills-dotnet
An Amazon Alexa Skills SDK for .NET
alexa alexa-skills-sdk aws-lambda dotnet dotnet-core dotnet-library dotnet-standard dotnetcore intent skills sml
Last synced: 28 Sep 2024
https://github.com/SOSML/SOSML
The Online Interpreter for Standard ML, written in TypeScript.
Last synced: 20 Aug 2024
https://github.com/semanticdatalayer/sml
Open-source repository for Semantic Modeling Language (SML)
analytics business-intelligence modeling semantic-layer sml yaml
Last synced: 29 Sep 2024
https://github.com/tsrivishnu/alexa-rails
Make your Rails app serve Amazon Alexa skill requests
alexa alexa-gem amazon-alexa gem rails rails-engine ruby ruby-on-rails rubygem rubyonrails slot-elicitation sml
Last synced: 26 Sep 2024
https://github.com/hexaredecimal/ml
A small general purpose programming language for programming on the JVM. Package manager: https://smllregistry.github.io/
Last synced: 29 Sep 2024
https://github.com/matsubara0507/simple-ismlnj
SML/NJ simple kernel for Jupyter/IPython Notebook
dockerfile jupyter-kernels sml standard-ml
Last synced: 02 Oct 2024
https://github.com/JonnyKong/Coursera-ProgrammingLanguagesUW
Coursera: Programming Languages, Univ. of Washington
functional-programming programming-language-theory racket ruby sml
Last synced: 31 Jul 2024
https://github.com/heubeck/samler
SaMLer - Smart Meter data collector at the edge
Last synced: 02 Oct 2024
https://github.com/HeyiSun/Ub
My project and algorithm at University at Buffalo
algorithm candy-crush data-structure interpreter interpreters javascript pintos sml
Last synced: 03 Aug 2024