GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ domdere
2 open source projects by domdere
[ Open user page on Github ]
1.
git-submodule-action
A GitHub Action for bumping submodules
✭ 30
shell
Dockerfile
2.
fp-in-idris
Functional Programing in Scala (in Idris) [Idris]
✭ 16
Idris
1-2
of
2
user projects