Popular repositories Loading

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

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

   Standard ML 25 1

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

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

   Standard ML 11 1

3. sml-lsp-kit sml-lsp-kit Public

   Standard ML Infrastructure for writing LSP servers

   Standard ML 11

4. gspec gspec Public

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

   Standard ML 2

5. ml-doc-tools ml-doc-tools Public

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

   Standard ML 1

6. mlton mlton Public

   Forked from MLton/mlton

   The MLton repository

   Standard ML