<html> <p>If you're familiar with Git (the revision-control system), the following are software - which have been initiated by others - which I have contributed code to: </p> <ol> <li><a href="https://github.com/go-gitea/gitea">Gitea </a> </li> <li><a href="https://github.com/gogs/gogs">Gogs </a> </li> <li><a href="https://github.com/Tatoeba/tatoeba2">Tatoeba </a> </li> </ol> </p> <p>Online, my Git-related accounts are the following: <ul> <li><a href="https://github.com/phtan/"> Github, at the user-name phtan </a> </li> <li><a href="https://gitlab.com/phtan"> Gitlab, at the same user-name </a> </li> </ul> </p> </html>