MatthewFluet
Associate Professor; Dept. of Computer Science; Rochester Institute of Technology
Rochester Institute of TechnologyRochester, NY
Pinned Repositories
acmart
ACM consolidated LaTeX styles
company-mlton
company-mode completion back-end for MLton/Standard ML
forge
Work with Git forges from the comfort of Magit
Heapsize
ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory
homebrew-mlton
Hombrew forumlae for MLton
mlton
The MLton repository
mlton-ppa
Debian packaging files for building/packaging MLton via Ubuntu Launchpad PPA
smelt
Forging Standard ML (SML) in emacs
tree-sitter-sml
Standard ML (SML) grammar for tree-sitter
mlton
The MLton repository
MatthewFluet's Repositories
MatthewFluet/company-mlton
company-mode completion back-end for MLton/Standard ML
MatthewFluet/tree-sitter-sml
Standard ML (SML) grammar for tree-sitter
MatthewFluet/smelt
Forging Standard ML (SML) in emacs
MatthewFluet/mlton
The MLton repository
MatthewFluet/Heapsize
ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory
MatthewFluet/mlton-ppa
Debian packaging files for building/packaging MLton via Ubuntu Launchpad PPA
MatthewFluet/acmart
ACM consolidated LaTeX styles
MatthewFluet/forge
Work with Git forges from the comfort of Magit
MatthewFluet/homebrew-mlton
Hombrew forumlae for MLton
MatthewFluet/linuxbrew-core
:beers::penguin: Core formulae for the Linuxbrew package manager
MatthewFluet/magit
It's Magit! A Git porcelain inside Emacs.
MatthewFluet/manticore
Parallel ML compiler
MatthewFluet/mlkit
Standard ML Compiler and Toolkit
MatthewFluet/mlton-builds
Unofficial builds of the MLton Standard ML compiler for various architectures
MatthewFluet/mlton-copr
RPM spec file for building/packaging MLton via Copr
MatthewFluet/mltonlib
The MLtonLibrary repository
MatthewFluet/mpl
The MaPLe compiler for Parallel ML
MatthewFluet/sml-mode
Major mode for editing (Standard) ML
MatthewFluet/sml-redprl
Decisively Smash the Formalist Clique!—The People's Refinement Logic
MatthewFluet/SML-The-Living-Language
SML, The Living Language (aka, Successor ML)
MatthewFluet/smlfmt
A custom parser/auto-formatter for Standard ML
MatthewFluet/Successor-ML
A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
MatthewFluet/urweb
The Ur/Web programming language