Python / Latex / Alloy

  1. Eclipse Pygments Style
  2. Lexers
    1. Drools Pygments Lexer
    2. Crocopat Pygments Lexer
    3. OCL Pygments Lexer
    4. LTL Pygments Lexer
    5. Jess Pygments Lexer
    6. Jena Pygments Lexer
    7. Checks Pygments Style
    8. Xtend Pygments Style
    9. Alloy Pygments Style
    10. IDL Pygments Style
    11. OWL Functional Pygments Style

I hacked together a very quick Eclipse Pygments Style for the Alloy modelling language. You can download it from the IAML site.

It creates a code sample like this from this source .tex file.