Currently Available Projects

• Parser/pretty-printer for Python (task description)
• Parser/pretty-printer for BLFI (New)
• Staged interpreter for Matlab (New)
• Staged interpreter for Ruby (New)
• Parser for Verilog (task description)
• Extension of the Lint language (task description)
• Loading C programs onto TexBot (task description)
• Improved pretty-printer for MetaOCaml (the focus will be on reducing the number of parenthesis to a minimum)