Final test inputs uploaded for each project.
Project 1: analyzing loop constructs
The project specification is here.

Some helpful resources:
What is an abstract syntax tree?
Dataflow analysis: AST vs. CFG

The sample inputs will be regularly updated, you can download the tar archive.

Project 2: parallel assignments made sequential
The project specification is here.

Sample inputs archive. In each file, there is a parallel assignment using the syntax described in the project specification.

Project 3: translation to functional
The project specification is here.

Sample inputs archive. In each file, there is a sequence of statements that represent the body of the function.

Project 4: expression simplification using synthesis
The project specification is here.

For a start, you can have a look at Rosette.

Here is a file containing a list of input expressions.

Project 5: Generate proofs of homomoprhisms
The project specification is here.

Sample inputs archive. In each file, there are two functions, one representing the join an another one representing the sequential function.