Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for machine learning standard ml
machine-learning
x
standard-ml
x
0 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.
Mlkit
⭐
255
Standard ML Compiler and Toolkit
Mpl
⭐
234
The MaPLe compiler for Parallel ML
Aliceml
⭐
202
A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
Smlsharp
⭐
189
SML# compiler
Millet
⭐
177
A language server for Standard ML.
Sosml
⭐
165
The Online Interpreter for Standard ML, written in TypeScript.
Smlpkg
⭐
151
Generic package manager for Standard ML libraries and programs
Mlworks
⭐
143
MLWorks is a Standard ML compiler and development environment.
Ponyo
⭐
143
Library and Toolkit for Standard ML
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)
Informatica Public
⭐
78
Public code developed during my MSc study at University of Bologna
Tiger
⭐
69
Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
The Mechanization Of Standard Ml
⭐
64
The Mechanization of Standard ML
Qcheck
⭐
63
Library for automatic unit testing of Standard ML modules
Basislibrary
⭐
57
Repository and Wiki for enriching the Standard ML Basis Library
Celf
⭐
53
Sml Language Definition
⭐
53
Resources for Standard ML in Sublime Text 2, including syntax highlighting, a build system, and snippets.
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)
Bright Ml
⭐
38
A statically-typed programming language based on "F-ing modules"
Stilts
⭐
34
SML On Stilts
Aplcompile
⭐
31
APL compiler written in Standard ML
Tilt Compiler
⭐
30
Standard ML compiler based on typed intermediate languages.
Cmtool
⭐
30
Lexer and parser generators for Standard ML, OCaml, and Haskell.
Aliceml Abandoned
⭐
30
Moved to aliceml/aliceml
Tapl Sml
⭐
26
Accompanying code for "Types and Programming Languages", ported to Standard ML
Sml
⭐
25
Exercism exercises in Standard ML.
Sml Streams
⭐
23
Streaming library for bulk memory operations with Standard ML in MLton. Work in progress WIP!
Sml Ev
⭐
23
kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
Sml Compiler
⭐
22
A compiler for Standard ML, somewhat
N2o
⭐
19
N2O: Standard ML Application Server
Functioning
⭐
17
Functioning: A Game Framework based on SDL for Standard ML
Mlpolyr
⭐
17
The MLPolyR programming language, revived
Racket Sml
⭐
16
Mixml
⭐
16
MixML prototype interpreter
Metis
⭐
16
Metis is an automatic theorem prover for first order logic with equality
Sml Vscode Extension
⭐
16
VSCode plugin for Standard ML
Opentheory
⭐
14
The opentheory tool processes higher order logic theory packages
Aplparse
⭐
14
APL parser written in Standard ML
Smlunit
⭐
13
Unit testing for Standard ML of New Jersey (SML/NJ) lol
Sml Curl
⭐
12
libcurl for Standard ML and http client with asynchronous support (via sml-ev)
Treap Ats
⭐
12
Mpl Tutorial
⭐
12
Tutorial for using the MPL compiler for Parallel ML
L10
⭐
11
The L10 Logic Programming Language
Company Mlton
⭐
11
company-mode completion back-end for MLton/Standard ML
Maml
⭐
11
(the first half of) an ML compiler
Mu Ml
⭐
10
Micro ML — Small, simple compiler in ML for a subset of ML. Meant for teaching.
Skalpel
⭐
10
A type error slicer for Standard ML
Smldoc
⭐
10
SMLDoc, detached from the SML# distribution
Embedded Ml
⭐
10
A compiler for a Standard-ML like language that generates code suitable for embedded computers.
Sml Net Server
⭐
9
Standard ML server engine
Mixml Sml
⭐
9
A MixML typechecker, written in Standard ML
Sml Mode
⭐
8
Major mode for editing (Standard) ML
Unicode
⭐
8
Utf8 processing support for Standard ML
Ob Sml
⭐
7
org-babel support for Standard ML
Mlmsgpack
⭐
7
ML-MessagePack: MessagePack implementation for Standard ML (SML) / msgpack.org[SML]
Redis Sharding Sml
⭐
7
Redis Sharding - Standard ML (MLton and PolyML) version
Sml Ext
⭐
7
Utilities for Standard ML
Sml Llvm
⭐
7
Standard ML Bindings for LLVM
Draw2d
⭐
7
Standard ML library for 2d drawing
Ml Dev
⭐
7
Eclipse plug-in for Standard ML
Proglr
⭐
6
Proglr: GLR Parser Generator for Standard ML
Mosml Js
⭐
6
Javascript backend for Moscow ML
Mlcomp
⭐
6
A Compiler and Type Inference System for a subset of Standard ML called Small.
Alice
⭐
6
Alice ML Refined
Sml Unicode
⭐
6
Unicode and UTF8 for Standard ML
Standard Ml.tmbundle
⭐
6
TextMate support for Standard ML
Extended Basis
⭐
6
An extension of the Standard ML Standard Basis Library
Sml Json
⭐
6
Standard ML package for JSON parsing and printing
Smlpeg
⭐
5
A PEG generator for Standard ML
Kitlib
⭐
5
Collection of Standard ML libraries
Tiger
⭐
5
Modern Compiler Implementation in ML
Sml Regexp
⭐
5
Standard ML package for regular expressions
Urpal
⭐
5
Urpal is your pal for Uppaal.
1-0 of 0 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.