projects / projects / | Project | Description | Owner | Last Change | |
|---|---|---|---|---|
| ppl/applications.git | Some applications using the PPL | git repository hosting | 7 years ago | summary | shortlog | log | tree |
| ppl/ppl.git | PPL sources central repository | git repository hosting | 4 days ago | summary | shortlog | log | tree |