Overview
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
that runs PolyML instead of JavaScript. This also provides something
that is roughly analagous to a FFI for JavaScript. It lets you use
JavaScript Libraries from within PolyML, adn build GUI code in Standard ML applications, based on HTML.
- IsaPlanner
- a proof planner for
the Isabelle
proof assistant.
- Quantomatic
- a tool for graph rewriting, designed initially for reasoning about
quantum information.
We also keep a list of
code and libraries for Standard ML.
