Peter D Mosses
Software (outdated page!)
Most of the following software is free — and all of it runs on Mac OS X.
Declarative Programming Systems
- The Meta-Environment: A sophisticated system providing scannerless SGLR parser generation for modules of arbitrary context-free grammars, conditional term-rewriting, and support for implementing other formalisms
- Maude MSOS Tool: an execution environment for Modular Structural Operational Semantics (MSOS) speciﬁcations that brings the power of analysis available in the Maude system to MSOS speciﬁcations
- SWI-Prolog: A popular system for logic programming — Learn Prolog Now!
- Keynote: A well-designed Mac OS X application for making robust animated presentations
- TeXShop: A LaTeX GUI for Mac OS X
- LaTeX-beamer: A powerful and well-documented package for producing animated presentations in PDF from LaTeX sources
- MathJax: High quality display of formulae in web browsers
- TeX4ht: A highly conﬁgurable TeX-based system for producing hypertext