MatthewFluet

LaTeX samples for NSF Research.gov Proposal Submission. For more information about Research.gov Proposal Submission visit https://www.research.gov/research-web/content/aboutpsm Feedback syee@nsf.gov

Language:TeXAGPL-3.0207 16 1

millet

A language server for Standard ML.

Language:RustApache-2.0201 8 49

sml-compiler

A compiler for Standard ML, somewhat

Language:RustMIT198 8 9

smlnj

Standard ML of New Jersey

Language:Standard MLBSD-3-Clause174 14 277

bright-ml

A statically-typed programming language based on "F-ing modules"

Language:Standard MLMIT79 3 1

adoc-mode

A major-mode for editing AsciiDoc files in Emacs

Language:Emacs Lisp65 6 27

smlfmt

A custom parser/auto-formatter for Standard ML

Language:Standard MLMIT63 11 45

awesome-sml

Useful things for Standard ML

54 6 1

legacy

This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).

Language:Standard MLBSD-3-Clause25 6 309

sml-analyzer

An experimental language server for SomewhatML

Language:RustMIT23 3 4

build-prove-compare-student-code

Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey

Language:Standard ML22 3 15

tree-sitter-sml

Standard ML Grammar for Tree-sitter

Language:C22 40

mulligan

A stepping debugger for Standard ML (SML)

Language:Standard MLMIT20 3 1

smlformat

An auto-formatter for the Standard ML language

Language:Standard ML20 4 6

mpl-tutorial

Tutorial for using the MPL compiler for Parallel ML

Language:Standard MLMIT18 9 2

molasses

MLB support for CM (the SML/NJ Compilation and Library Manager)

Language:Standard MLMIT17 4 1

sml-buildscripts

Scripts to compile and run Standard ML programs defined in .mlb files.

Language:ShellNOASSERTION15 3 1

autoformat

Standard ML autoformatter

Language:Standard MLMIT15 4 7

sml-server

Web server infrastructure for Standard ML

Language:Standard MLMIT1300

sml-parse

Standard ML Parser Combinator Library

Language:Standard MLMIT1200

smelt

Forging Standard ML (SML) in emacs

Language:Emacs LispMIT10 20

tree-sitter-sml

Standard ML (SML) grammar for tree-sitter

Language:JavaScriptMIT10 30

smlfmt.el

Emacs minor mode for running smlfmt

Language:Emacs LispGPL-3.06 80

sml-libs-scraper

Scraper for online SML libraries

Language:TypeScriptMIT4 40

entanglement-detect

Experiments for extanglement detection

Language:Standard ML1 70