Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Standard Ml Open Source Projects

Open source projects categorized as Standard Ml
Categories > Standard Ml
Plt ⭐ 5,018
Programming Language Theory λΠ
most recent commit a year ago
Goldencheetah ⭐ 1,701
Performance Software for Cyclists, Runners, Triathletes and Coaches
most recent commit 5 months ago
Mlton ⭐ 898
The MLton repository
most recent commit 5 months ago
Cakeml ⭐ 879
CakeML: A Verified Implementation of ML
most recent commit 5 months ago
Flrc ⭐ 814
Haskell Research Compiler
most recent commit 2 years ago
Urweb ⭐ 776
The Ur/Web programming language
most recent commit 7 months ago
Hol ⭐ 572
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
most recent commit 5 months ago
Getcomposer.org ⭐ 520
getcomposer.org sources
most recent commit 7 months ago
Polyml ⭐ 461
Poly/ML
total releases 1most recent commit 7 months ago
World Citizenship ⭐ 397
Globally orientated citizenship with private passport services using available cryptographic tools
most recent commit 8 years ago
Webml ⭐ 361
A Standard ML Compiler for the Web
most recent commit 2 years ago
Mosml ⭐ 277
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
total releases 1most recent commit 3 years ago
Interactive Lp ⭐ 263
Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
most recent commit 7 months ago
Mlkit ⭐ 255
Standard ML Compiler and Toolkit
total releases 1most recent commit 6 months ago
Mpl ⭐ 234
The MaPLe compiler for Parallel ML
most recent commit 5 months ago
Lunarml ⭐ 225
The Standard ML compiler that produces Lua/JavaScript
most recent commit 5 months ago
Arma Reforger Samples ⭐ 223
Modding Samples
most recent commit 5 months ago
Codehash.db ⭐ 220
A public database for software and firmware hashes
most recent commit 8 years ago
Aliceml ⭐ 202
A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
most recent commit 2 years ago
Smlsharp ⭐ 189
SML# compiler
most recent commit a year ago
Interim ⭐ 186
Low-level Lisp with compile-time memory management
most recent commit 6 years ago
Openwrt Useful Tools ⭐ 186
A repo containing different tools compiled specifically for the Hak5 WiFi Pineapple MK6 and MK7.
most recent commit a year ago
Millet ⭐ 177
A language server for Standard ML.
total releases 1most recent commit 6 months ago
The 2 Most Depended On Standard Ml Open Source Projects
Sosml ⭐ 165
The Online Interpreter for Standard ML, written in TypeScript.
dependent packages 4total releases 46latest release August 30, 2023most recent commit 10 months agonpm @sosml/interpreter} Downloads
Icp Bundle ⭐ 7
A plugin for embedding Interactive Code Playgrounds in various languages in HTML pages
dependent packages 2total releases 55latest release July 12, 2023most recent commit a year agonpm icp-bundle} Downloads
The 10 Latest Releases In Standard Ml Open Source Projects
Smlfmt ⭐ 59
A custom parser/auto-formatter for Standard ML
total releases 1latest release October 04, 2023most recent commit 6 months ago
Sosml ⭐ 165
The Online Interpreter for Standard ML, written in TypeScript.
dependent packages 4total releases 46latest release August 30, 2023most recent commit 10 months agonpm @sosml/interpreter} Downloads
Icp Bundle ⭐ 7
A plugin for embedding Interactive Code Playgrounds in various languages in HTML pages
dependent packages 2total releases 55latest release July 12, 2023most recent commit a year agonpm icp-bundle} Downloads
Millet ⭐ 177
A language server for Standard ML.
total releases 1latest release April 26, 2023most recent commit 6 months ago
Spacegraphcats ⭐ 112
Indexing & querying large assembly graphs -- in space, no one can hear you miao!
total releases 15latest release December 04, 2022most recent commit 6 months ago
Smlpkg ⭐ 151
Generic package manager for Standard ML libraries and programs
total releases 1latest release March 03, 2021most recent commit 9 months ago
Mlkit ⭐ 255
Standard ML Compiler and Toolkit
total releases 1latest release February 27, 2018most recent commit 6 months ago
Polyml ⭐ 461
Poly/ML
total releases 1latest release February 27, 2018most recent commit 7 months ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.