Popular repositories

1. compiling-pattern-guards compiling-pattern-guards Public

   Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"

   Standard ML 24 1

2. sml-compiler-utils sml-compiler-utils Public

   A collection of SML utility modules that are useful for compiler writing.

   Standard ML 10 1

3. gspec gspec Public

   Tool for translating plain-text programming-language syntax specifications into LaTeX or HTML

   Standard ML 2

4. ml-doc-tools ml-doc-tools Public

   Tools for generating documentation for Standard ML based on a SGML DTD

   Standard ML 1

5. mlton mlton Public

   Forked from MLton/mlton

   The MLton repository

   Standard ML

6. extract-code extract-code Public

   Tool for extracting styled code snippets as LaTeX

   Standard ML