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
Molasses ⭐ 17
MLB support for CM (the SML/NJ Compilation and Library Manager)
most recent commit 9 months ago
Mlpolyr ⭐ 17
The MLPolyR programming language, revived
most recent commit 4 years ago
Functioning ⭐ 17
Functioning: A Game Framework based on SDL for Standard ML
most recent commit 11 years ago
Mpl 1brc ⭐ 16
Solving the 1 Billion Row Challenge in MPL
most recent commit 6 months ago
Racket Sml ⭐ 16
most recent commit a year ago
Build Prove Compare Student Code ⭐ 16
Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
most recent commit a year ago
Sourmashconsumr ⭐ 16
Working with the outputs of sourmash in R
most recent commit 8 months ago
Mixml ⭐ 16
MixML prototype interpreter
most recent commit 5 years ago
Pure ⭐ 16
A verified compiler for a lazy functional language
most recent commit 5 months ago
Metis ⭐ 16
Metis is an automatic theorem prover for first order logic with equality
most recent commit 4 years ago
Sml Vscode Extension ⭐ 16
VSCode plugin for Standard ML
most recent commit 3 years ago
Sml Testing ⭐ 16
Simple framework for testing Standard ML code.
most recent commit 11 years ago
Diderot ⭐ 16
The Diderot language compiler
most recent commit a year ago
Ryzetellofirmware ⭐ 16
Firmware images for hacking, reverse engineering, and teardown of the Ryze / DJI / Intel Movidius Tello
most recent commit 6 years ago
Cpncourse ⭐ 15
Coloured Petri Nets and CPN Tools Course
most recent commit 10 months ago
Sml Cidre ⭐ 15
SML Checker for Intersection and Datasort Refinements (pronounced "cider")
most recent commit 11 years ago
Opentheory ⭐ 14
The opentheory tool processes higher order logic theory packages
most recent commit a year ago
Obeam ⭐ 14
[WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.
most recent commit 5 years ago
Aplparse ⭐ 14
APL parser written in Standard ML
most recent commit 8 years ago
Mappview ⭐ 13
mappView tips and code snippets
most recent commit 2 years ago
Smlunit ⭐ 13
Unit testing for Standard ML of New Jersey (SML/NJ) lol
most recent commit 12 years ago
Sequoia ⭐ 13
Design, play with, and analyze sequent calculus proof systems.
most recent commit 8 months ago
Music Autotagging Msordo ⭐ 13
Code for music autotagging from my PhD thesis
most recent commit 10 years 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.