Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for machine learning sml
machine-learning
x
sml
x
2 search results found
Mlton
⭐
898
The MLton repository
Cakeml
⭐
879
CakeML: A Verified Implementation of ML
Polyml
⭐
461
Poly/ML
Webml
⭐
361
A Standard ML Compiler for the Web
Mosml
⭐
277
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
Mpl
⭐
234
The MaPLe compiler for Parallel ML
Smlsharp
⭐
189
SML# compiler
Sosml
⭐
165
The Online Interpreter for Standard ML, written in TypeScript.
Smlpkg
⭐
151
Generic package manager for Standard ML libraries and programs
Scala Modules
⭐
129
Experimental implementations of ML-style modules in Scala
Successor Ml
⭐
128
A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
Smackage
⭐
112
Smackage Package Manager for Standard ML
Rtmlton
⭐
100
MLton with Realtime GC and Threading features
The Definition Of Standard Ml Revised
⭐
93
The Definition of Standard ML, Revised (1997)
The Definition Of Standard Ml
⭐
92
The Definition of Standard ML (1990)
Tiger
⭐
69
Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
Basislibrary
⭐
57
Repository and Wiki for enriching the Standard ML Basis Library
Sml Language Definition
⭐
53
Resources for Standard ML in Sublime Text 2, including syntax highlighting, a build system, and snippets.
Celf
⭐
53
Awesome Sml
⭐
49
Useful things for Standard ML
Sml Lib
⭐
45
Library for Standard ML
A Tour Of Standard Ml
⭐
40
A Tour of Standard ML (in the style of A Tour of Go)
Stilts
⭐
34
SML On Stilts
Tilt Compiler
⭐
30
Standard ML compiler based on typed intermediate languages.
Sml Handbook
⭐
26
SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
Tapl Sml
⭐
26
Accompanying code for "Types and Programming Languages", ported to Standard ML
Sml
⭐
25
Exercism exercises in Standard ML.
Sml Ev
⭐
23
kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
Sml Streams
⭐
23
Streaming library for bulk memory operations with Standard ML in MLton. Work in progress WIP!
Sml Compiler
⭐
22
A compiler for Standard ML, somewhat
Sml Bench
⭐
21
A Benchmark for Machine Learning from Structured Data
Mlpolyr
⭐
17
The MLPolyR programming language, revived
Mixml
⭐
16
MixML prototype interpreter
Racket Sml
⭐
16
Sml Vscode Extension
⭐
16
VSCode plugin for Standard ML
Metis
⭐
16
Metis is an automatic theorem prover for first order logic with equality
Sml_cv
⭐
14
Using supervised machine learning to build collective variables for accelerated sampling
Opentheory
⭐
14
The opentheory tool processes higher order logic theory packages
Smlunit
⭐
13
Unit testing for Standard ML of New Jersey (SML/NJ) lol
Mpl Tutorial
⭐
12
Tutorial for using the MPL compiler for Parallel ML
Vim Sml
⭐
12
Standard ML plugin for VIM
Sml Curl
⭐
12
libcurl for Standard ML and http client with asynchronous support (via sml-ev)
Maml
⭐
11
(the first half of) an ML compiler
Company Mlton
⭐
11
company-mode completion back-end for MLton/Standard ML
Skalpel
⭐
10
A type error slicer for Standard ML
Smldoc
⭐
10
SMLDoc, detached from the SML# distribution
Mu Ml
⭐
10
Micro ML — Small, simple compiler in ML for a subset of ML. Meant for teaching.
Sml Buildscripts
⭐
9
Scripts to compile and run Standard ML programs defined in .mlb files.
Language Sml
⭐
9
Standard ML language support for Atom
Mixml Sml
⭐
9
A MixML typechecker, written in Standard ML
Polychrome
⭐
9
PolyChrome is a Firefox extension that can run Standard ML programs embedded in HTML documents
Unicode
⭐
8
Utf8 processing support for Standard ML
Sml Mode
⭐
8
Major mode for editing (Standard) ML
Mosgame
⭐
8
An attempt at making a PyGame-like library for Moscow ML.
Ml Dev
⭐
7
Eclipse plug-in for Standard ML
Sml Ext
⭐
7
Utilities for Standard ML
Mlmsgpack
⭐
7
ML-MessagePack: MessagePack implementation for Standard ML (SML) / msgpack.org[SML]
Sml Llvm
⭐
7
Standard ML Bindings for LLVM
Ob Sml
⭐
7
org-babel support for Standard ML
Sml Json
⭐
6
Standard ML package for JSON parsing and printing
Mosml Js
⭐
6
Javascript backend for Moscow ML
Asdf Sml
⭐
6
Standard ML plugin for the asdf version manager
Anonhero
⭐
6
Telling the story and proving that it happened
Proglr
⭐
6
Proglr: GLR Parser Generator for Standard ML
Mi
⭐
5
An experimental compiler for the sml language
Urpal
⭐
5
Urpal is your pal for Uppaal.
Sml Regexp
⭐
5
Standard ML package for regular expressions
Related Searches
Python Machine Learning (14,099)
Jupyter Notebook Machine Learning (12,247)
Machine Learning Neural Network (4,397)
Machine Learning Tensorflow (4,050)
Machine Learning Natural Language Processing (3,891)
Machine Learning Artificial Intelligence (3,877)
Machine Learning Data Science (3,802)
Machine Learning Pytorch (2,910)
Machine Learning Dataset (2,298)
Machine Learning Computer Vision (1,966)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.