We do a lot of development
using PolyML, an excellent
implementation of Standard ML. This page is an overview
of our work with PolyML, and the resources we build on.
Our ML related Projects
- PolyML jEdit Plugin - a plugin for
jEdit for working with PolyML. It builds on the PolyML IDE protocol
to let you ask the ML compiler what the type of a subexpression is.
- PolyChrome - an add-on extension for Firefox
- a proof planner for
- a tool for graph rewriting, designed initially for reasoning about
We also keep a list of code and libraries for Standard ML