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: Languages: Erlang: Contributions: Libraries

See Also:
  • 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


  
Twitter