Libraries Contributions Erlang Languages

Software written in Erlang for translating Erlang source code to mCRL process algebra specification. The software makes industrial code available for research tools.

• Top/Computers/Programming/Libraries

• Erlang QuickCheck - A library for random testing of Erlang programs against specifications.
• Inets mod_xsl - An XSL transformation module for the Inets erlang erlang webserver
• Yxa - A bunch of library like functions for receiving, contributions processing and sending SIP messages, and a couple contributions of small applications that can do various things.
• Erlang to mCRL translator - Software written in Erlang for translating Erlang source code to libraries mCRL process algebra specification. The software makes industrial code available libraries for research tools.
• mod_erl - Module for Apache. It lets you use Erlang as an embedded language, just as PHP.
• XML Parser - An experimental XML parser in Erlang.

   MySQL - Cache Direct