Project Savanna

All

11 repositories

setup-sml
Public
Set up a Standard ML environment and add it to the PATH
actions sml standard-ml hacktoberfest smlnj
JavaScript
•
MIT License
•1•2•0•0•Updated Nov 2, 2024Nov 2, 2024
setup-smackage
Public
actions sml standard-ml smlnj
JavaScript
•
MIT License
•0•2•0•0•Updated Nov 2, 2024Nov 2, 2024
autograding
Public
Autograding utilities
Standard ML
•
MIT License
•0•2•2•4•Updated Apr 17, 2024Apr 17, 2024
autoformat
Public archive
Standard ML autoformatter
formatter sml standard-ml hacktoberfest autoformat smlnj
Standard ML
•
MIT License
•0•15•7•1•Updated Dec 25, 2021Dec 25, 2021
numbers
Public
Numbers in Standard ML
sml numbers standard-ml numerical-methods hacktoberfest numerical smlnj infinite-precision rationals naturals
Standard ML
•
MIT License
•1•2•0•0•Updated Nov 16, 2021Nov 16, 2021
bananas
Public
Recursion schemes in Standard ML
sml recursion recursion-schemes standard-ml
Standard ML
•
MIT License
•1•8•0•0•Updated Jun 15, 2021Jun 15, 2021
typeclasses
Public
Common typeclasses in Standard ML
sml standard-ml typeclasses
Standard ML
•
MIT License
•1•2•0•0•Updated Jun 15, 2021Jun 15, 2021
envelope-ast
Public
Standard ML AST, based on recursion schemes
Standard ML
•
MIT License
•0•4•0•0•Updated Aug 17, 2020Aug 17, 2020
test
Public
Standard ML testing framework
Standard ML
•
MIT License
•2•2•0•0•Updated Aug 16, 2020Aug 16, 2020
savanna
Public
Internal course infrastructure build scripts
Standard ML
•0•1•0•0•Updated Jul 28, 2020Jul 28, 2020
result
Public
Controlled evaluation of functions
Standard ML
•
MIT License
•0•3•0•0•Updated Jul 20, 2020Jul 20, 2020