Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for sml
sml
x
187 search results found
Sml
⭐
1,061
C++14 State Machine library
Austral
⭐
946
Systems language with linear types and capability-based security.
Mlton
⭐
898
The MLton repository
Cakeml
⭐
879
CakeML: A Verified Implementation of ML
Gpxsee
⭐
854
GPS log file viewer and analyzer with support for GPX, TCX, KML, FIT, IGC, NMEA, SLF, SML, LOC, GPI, GeoJSON and OziExplorer files.
Smart Mode Line
⭐
832
A powerful and beautiful mode-line for Emacs.
Alexa Skills Dotnet
⭐
533
An Amazon Alexa Skills SDK for .NET
Polyml
⭐
461
Poly/ML
Webml
⭐
361
A Standard ML Compiler for the Web
Satisfactorymodmanager
⭐
300
A mod manager for easy installation of mods and modloader
Mosml
⭐
277
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
Reviews
⭐
242
Reviewing some online CS courses I took
Mpl
⭐
234
The MaPLe compiler for Parallel ML
Smlreader
⭐
221
ESP8266 based smart meter (SML) to MQTT gateway
Smlsharp
⭐
189
SML# compiler
Golib
⭐
188
Tideland GoLib
Interim
⭐
186
Low-level Lisp with compile-time memory management
Sosml
⭐
165
The Online Interpreter for Standard ML, written in TypeScript.
Hsm
⭐
161
Finite state machine library based on the boost hana meta programming library. It follows the principles of the boost msm and boost sml libraries, but tries to reduce own complex meta programming code to a minimum.
Smlpkg
⭐
151
Generic package manager for Standard ML libraries and programs
Smlnj
⭐
149
Standard ML of New Jersey
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.
Pretty.rs
⭐
126
Wadler-style pretty-printing combinators in Rust
Smackage
⭐
112
Smackage Package Manager for Standard ML
Rtmlton
⭐
100
MLton with Realtime GC and Threading features
Vim Better Sml
⭐
100
🎉 Enjoy writing SML within Vim
Home_assistant_edp_box
⭐
98
Integração das EDP Box com Home Assistant Core
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)
Smlar
⭐
90
PostgreSQL extension for an effective similarity search || mirror of git://sigaev.ru/smlar.git || see https://www.pgcon.org/2012/schedule/track/Hacking/
Secs4java8
⭐
86
This library is SEMI-SECS-communicate implementation on Java8.
Slib
⭐
80
`Slib` is a JAVA library dedicated to semantic data mining based on texts and/or ontology processing. The library is composed of various modules dedicated to specific treatments - they can be used in the context of information retrieval, data analysis, recommendation system design... The Semantic Measures Library (SML) is a sub-project of the Slib.
Tiger
⭐
69
Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
Timl
⭐
67
TiML: A Functional Programming Language with Time Complexity
Qtofficeopenxml
⭐
60
For Qt5.2 or newer, ...
Twelf
⭐
57
The Twelf Programming Language (mirror of SVN repository)
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.
Learning
⭐
53
@elahe-dastan / @1995parham training and testing repository 📚 🤓
Awesome Sml
⭐
49
Useful things for Standard ML
Miniprl
⭐
48
A small implementation of a proof refinement logic.
Sml
⭐
45
This is an implementation for our SIGIR 2020 paper: How to Retrain Recommender System? A Sequential Meta-Learning Method.
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)
Sf_mod_refinedpower
⭐
38
Libsml
⭐
37
Implementation in C of the Smart Message Language (SML) protocol
Stilts
⭐
34
SML On Stilts
Iobroker.smartmeter
⭐
32
ioBroker-Adapter to read out Smart-Meter using protocols like SML, D0 and such
Sml.vim
⭐
32
Sml for vim
Emacs.d
⭐
31
My emacs config
Libsml
⭐
30
Implementation in C of the Smart Message Language (SML) protocol
Tilt Compiler
⭐
30
Standard ML compiler based on typed intermediate languages.
Sml Typed Abts
⭐
28
second-order abstract syntax
Manticore
⭐
27
Parallel ML compiler
Purely Fun
⭐
27
Purely Functional Data Structures
Sml_parser
⭐
26
Low memory C++ library to parse Smart Message Language (SML) data from smart meters.
Tapl Sml
⭐
26
Accompanying code for "Types and Programming Languages", ported to Standard ML
Sml Handbook
⭐
26
SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
Sml
⭐
25
Exercism exercises in Standard ML.
Peppol Commons
⭐
24
Java library with shared Peppol components - identifier handling, codelists, SBDH handler, SMP Client, SML Client
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!
Unitn Linguaggi Programmazione Sml
⭐
23
Repository contenente esami con soluzione proposti durante lo sbarramento dell'esame di Programmazione Funzionale (prof Kuper).
Cljext
⭐
22
Clojure Extended Library
Sml Compiler
⭐
22
A compiler for Standard ML, somewhat
Sml Bench
⭐
21
A Benchmark for Machine Learning from Structured Data
Tigpiler
⭐
21
A simple Tiger to MIPS compiler, written in Standard-ML
Naquadahbrowser
⭐
20
A web browser built in Julia Language from the ground up.
Parcom
⭐
19
SML Parser Combinator Library
The Little Ocamler
⭐
19
The examples from "The Little MLer" in OCaml and ReasonML
Abbot
⭐
19
Generation of abstract binding trees
Xv6 Scheduling
⭐
19
Sml
⭐
18
class model for Supervised Multiclass Labeling(SML) which is a text annotation algorithm for images.
Typecoin
⭐
18
Typecoin: Massively Multiplayer Online Linear Logic
Documentation
⭐
18
Documentation for SML and Unreal modding.
Legacy
⭐
18
This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
Mlpolyr
⭐
17
The MLPolyR programming language, revived
Sml Testing
⭐
16
Simple framework for testing Standard ML code.
Sml4joomla
⭐
16
Helper Joomla libraries for REST, MongoDB and more, by Spacemonkey Labs
Racket Sml
⭐
16
Awox Smartlight
⭐
16
control awox smartlight with nodejs
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
Utilitymod
⭐
15
SML mod
Sml Cidre
⭐
15
SML Checker for Intersection and Datasort Refinements (pronounced "cider")
Pysemisecs
⭐
14
This package is SEMI-SECS-communicate implementation on Python3.
Sml_cv
⭐
14
Using supervised machine learning to build collective variables for accelerated sampling
Notes
⭐
14
notes I've made from books I've read, courses I've taken etc
Opentheory
⭐
14
The opentheory tool processes higher order logic theory packages
Smlunit
⭐
13
Unit testing for Standard ML of New Jersey (SML/NJ) lol
Sml2randomizer
⭐
12
Randomizer for Super Mario Land 2: 6 Golden Coins
Sml Curl
⭐
12
libcurl for Standard ML and http client with asynchronous support (via sml-ev)
Vim Sml
⭐
12
Standard ML plugin for VIM
Mpl Tutorial
⭐
12
Tutorial for using the MPL compiler for Parallel ML
L3mips
⭐
12
L3 based MIPS specification and emulator
Smlnj Networking
⭐
11
Network server programming with SML/NJ and CML
Ocaml Networking
⭐
11
Network server programming with OCaml
Related Searches
Standard Ml Sml (183)
Machine Learning Sml (121)
Language Sml (43)
1-100 of 187 search results
Next >
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.