MatthewFluet

Matthew Fluet's repositories

company-mlton

company-mode completion back-end for MLton/Standard ML

Language:Emacs LispGPL-3.014 4 1

smelt

Forging Standard ML (SML) in emacs

Language:Emacs LispMIT10 20

tree-sitter-sml

Standard ML (SML) grammar for tree-sitter

Language:JavaScriptMIT10 30

mlton

The MLton repository

Language:Standard MLNOASSERTION3 20

Heapsize

ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory

Language:HaskellNOASSERTION1 10

mlton-ppa

Debian packaging files for building/packaging MLton via Ubuntu Launchpad PPA

Language:Makefile1 3 1

acmart

ACM consolidated LaTeX styles

Language:TeX020

forge

Work with Git forges from the comfort of Magit

Language:Emacs LispGPL-3.0020

homebrew-mlton

Hombrew forumlae for MLton

Language:Ruby020

linuxbrew-core

:beers::penguin: Core formulae for the Linuxbrew package manager

Language:RubyBSD-2-Clause010

magit

It's Magit! A Git porcelain inside Emacs.

Language:Emacs LispGPL-3.0020

manticore

Parallel ML compiler

Language:Standard ML010

mlkit

Standard ML Compiler and Toolkit

Language:Standard ML020

mlton-builds

Unofficial builds of the MLton Standard ML compiler for various architectures

000

mlton-copr

RPM spec file for building/packaging MLton via Copr

020

mltonlib

The MLtonLibrary repository

Language:Standard ML000

mpl

The MaPLe compiler for Parallel ML

Language:Standard MLNOASSERTION010

sml-mode

Major mode for editing (Standard) ML

000

sml-redprl

Decisively Smash the Formalist Clique!—The People's Refinement Logic

Language:Standard MLMIT020

SML-The-Living-Language

SML, The Living Language (aka, Successor ML)

Language:TeX020

smlfmt

A custom parser/auto-formatter for Standard ML

Language:Standard MLMIT000

Successor-ML

A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

Language:TeX010

urweb

The Ur/Web programming language

Language:Standard MLNOASSERTION020