Skip to content
@ProjectSavanna

Project Savanna

Tools for Standard ML

Pinned Loading

  1. result result Public

    Controlled evaluation of functions

    Standard ML 3

  2. autograding autograding Public

    Autograding utilities

    Standard ML 2

  3. typeclasses typeclasses Public

    Common typeclasses in Standard ML

    Standard ML 2 1

  4. setup-sml setup-sml Public

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

    JavaScript 2 1

  5. setup-smackage setup-smackage Public

    JavaScript 2

Repositories

Showing 10 of 11 repositories
  • ProjectSavanna/setup-smackage’s past year of commit activity
    JavaScript 2 MIT 0 0 1 Updated Dec 1, 2024
  • setup-sml Public

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

    ProjectSavanna/setup-sml’s past year of commit activity
    JavaScript 2 MIT 1 0 2 Updated Dec 1, 2024
  • autograding Public

    Autograding utilities

    ProjectSavanna/autograding’s past year of commit activity
    Standard ML 2 MIT 0 2 4 Updated Apr 17, 2024
  • autoformat Public archive

    Standard ML autoformatter

    ProjectSavanna/autoformat’s past year of commit activity
    Standard ML 15 MIT 0 7 1 Updated Dec 25, 2021
  • numbers Public

    Numbers in Standard ML

    ProjectSavanna/numbers’s past year of commit activity
    Standard ML 2 MIT 1 0 0 Updated Nov 16, 2021
  • bananas Public

    Recursion schemes in Standard ML

    ProjectSavanna/bananas’s past year of commit activity
    Standard ML 8 MIT 1 0 0 Updated Jun 15, 2021
  • typeclasses Public

    Common typeclasses in Standard ML

    ProjectSavanna/typeclasses’s past year of commit activity
    Standard ML 2 MIT 1 0 0 Updated Jun 15, 2021
  • envelope-ast Public

    Standard ML AST, based on recursion schemes

    ProjectSavanna/envelope-ast’s past year of commit activity
    Standard ML 4 MIT 0 0 0 Updated Aug 17, 2020
  • test Public

    Standard ML testing framework

    ProjectSavanna/test’s past year of commit activity
    Standard ML 2 MIT 2 0 0 Updated Aug 16, 2020
  • savanna Public

    Internal course infrastructure build scripts

    ProjectSavanna/savanna’s past year of commit activity
    Standard ML 1 0 0 0 Updated Jul 28, 2020

Top languages

Loading…

Most used topics

Loading…