Project Savanna

Project Savanna's repositories

Standard ML autoformatter

Language:Standard MLMIT15 4 7

Recursion schemes in Standard ML

Language:Standard MLMIT8 30

Standard ML AST, based on recursion schemes

Language:Standard MLMIT4 30

Controlled evaluation of functions

Language:Standard MLMIT3 20

Standard ML testing framework

Language:Standard MLMIT3 30

Autograding utilities

Language:Standard MLMIT2 3 2

Numbers in Standard ML

Language:Standard MLMIT2 10

Language:JavaScriptMIT2 20

Set up a Standard ML environment and add it to the PATH

Language:JavaScriptMIT2 20

Common typeclasses in Standard ML

Language:Standard MLMIT2 20

Internal course infrastructure build scripts

Language:Standard ML1 20