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