diff --git a/repos-github.md b/repos-github.md
index d36f95f6..b6215ed9 100644
--- a/repos-github.md
+++ b/repos-github.md
@@ -654,6 +654,7 @@
 - nivanov/cosplay
 - nixiesearch/nixiesearch
 - nMoncho/helenus
+- nMoncho/helenus3
 - NomadBlacky/scaladog
 - NomadBlacky/scala_examples
 - note/dhallj-magnolia