sml topic

List sml repositories

SOSML

170
Stars
7
Forks
Watchers

The Online Interpreter for Standard ML, written in TypeScript.

verified publisher icon SOSML

manticore

69
Stars
7
Forks
Watchers

Parallel ML compiler

verified publisher icon ManticoreProject

tiger

96
Stars
21
Forks
Watchers

Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel

verified publisher icon sunchao

timl

75
Stars
6
Forks
Watchers

TiML: A Functional Programming Language with Time Complexity

verified publisher icon mit-plv

Learning

56
Stars
2
Forks
Watchers

@elahe-dastan / @1995parham training and testing repository :books: :nerd_face:

verified publisher icon 1995parham-learning

secs4java8

106
Stars
54
Forks
Watchers

This library is SEMI-SECS-communicate implementation on Java8.

verified publisher icon kenta-shimizu

vim-better-sml

102
Stars
9
Forks
Watchers

:tada: Enjoy writing SML within Vim

verified publisher icon jez

metis

28
Stars
1
Forks
Watchers

An automatic theorem prover for first order logic with equality

verified publisher icon gilith

xv6-scheduling

41
Stars
44
Forks
Watchers

verified publisher icon marf

sml-streams

27
Stars
2
Forks
Watchers

Streaming library for bulk memory operations with Standard ML in MLton

verified publisher icon biboudis