You can clone with
Various micro projects written in OPA too small to deserve their own repos
Fetching latest commit…
Cannot retrieve the latest commit at this time
You will find here various micro projects.
You can do whatever you want with the sources of this repository.
Use it at your own risks.