Project Savanna

Tools for Standard ML

Carnegie Mellon University

Pinned Repositories

autoformat
Standard ML autoformatter
Language:Standard ML15 4 70
autograding
Autograding utilities
Language:Standard ML2 3 20
bananas
Recursion schemes in Standard ML
Language:Standard ML8 3 01
envelope-ast
Standard ML AST, based on recursion schemes
Language:Standard ML4 3 00
numbers
Numbers in Standard ML
Language:Standard ML2 1 01
result
Controlled evaluation of functions
Language:Standard ML3 2 00
setup-smackage
Language:JavaScript2 2 00
setup-sml
Set up a Standard ML environment and add it to the PATH
Language:JavaScript2 2 01
test
Standard ML testing framework
Language:Standard ML2 3 02
typeclasses
Common typeclasses in Standard ML
Language:Standard ML2 2 01

Project Savanna's Repositories

ProjectSavanna/autoformat
Standard ML autoformatter
Language:Standard ML15 4 70
ProjectSavanna/bananas
Recursion schemes in Standard ML
Language:Standard ML8 3 01
ProjectSavanna/envelope-ast
Standard ML AST, based on recursion schemes
Language:Standard ML4 3 00
ProjectSavanna/result
Controlled evaluation of functions
Language:Standard ML3 2 00
ProjectSavanna/autograding
Autograding utilities
Language:Standard ML2 3 20
ProjectSavanna/numbers
Numbers in Standard ML
Language:Standard ML2 1 01
ProjectSavanna/setup-smackage
Language:JavaScript2 2 00
ProjectSavanna/setup-sml
Set up a Standard ML environment and add it to the PATH
Language:JavaScript2 2 01
ProjectSavanna/test
Standard ML testing framework
Language:Standard ML2 3 02
ProjectSavanna/typeclasses
Common typeclasses in Standard ML
Language:Standard ML2 2 01
ProjectSavanna/savanna
Internal course infrastructure build scripts
Language:Standard ML1 2 0