Dynamic web site tools for Standard ML

This project has been superceded by Ur/Web. All of the information here is outdated.

(This project needs a real name.)

This project collects together the tools to enable development of dynamic web sites in the straightforward style of PHP and similar languages, but based around the Standard ML programming language and static checking. Current offerings include:

  • A complete system for creating web sites from SML source files and simple page templates that interact with SML modules.
  • Common signatures and tools for interfaces to SQL databases, as well as some implementations for particular database servers and clients.

    • Current versions require version 110.49+ of Standard ML of New Jersey on a POSIX system.

    Download source packages

    Authors

  • Adam Chlipala

    • Where is it being used now?

  • The Internet Hosting Cooperative internal bookeeping site
  • The Teen Programmers Unite web site engine
  • The Relational Wiki project (including the prototype alpha release pldb.net site)


  • Subscribe to our users mailing list
  • Browse our CVS repository
  • Our Sourceforge project summary page
    • SourceForge Logo