diff --git a/docs/_docs/modules/index.md b/docs/_docs/modules/index.md
index e91200c7..b7c71b5b 100644
--- a/docs/_docs/modules/index.md
+++ b/docs/_docs/modules/index.md
@@ -11,7 +11,14 @@ These modules are mostly "support"/"interoperability" modules to provide out of
 ## Official modules
 - [Cats](cats.md): Typeclass instances and accumulative refinement methods.
 - [Circe](circe.md): Typeclass instances for refinement types.
+- [Ciris](ciris.md): Typeclass instances for refinement types.
+- [Decline](decline.md): Typeclass instances for refinement types.
+- [Doobie](doobie.md): Typeclass instances for refinement types.
 - [Jsoniter](jsoniter.md): Typeclass instances for refinement types.
 - [ScalaCheck](scalacheck.md): Typeclass instances for refinement types.
 - [ZIO](zio.md): Accumulative refinement method.
 - [ZIO-Json](zio-json.md): Typeclass instances for refinement types.
+
+## External modules
+- [Tapir](https://tapir.softwaremill.com/en/latest/endpoint/integrations.html#iron-integration):
+Typeclass instances for refinement types.
\ No newline at end of file