• Scala.js Gradle plugin
• TEI site generation and publishing of document collections
• Jewish calendrical calculations
• learning schedules for various Jewish texts
• Google Cloud Run Gradle plugin
• Raspberry Pi GPIO in Scala
• photo metadata extraction and archive synchronization
• parsing XML with ZIO and pretty-printing it with Paiges
• DocBook processing and DocBook Gradle plugin
• where is this code running?

• Scala: 11963.
• Dotty: 13814.
• Scala.js: 5132, 5134, 5199.
• Scala.js Website: 658.
• Scala Native: 4320, 4323, 4342, 4370, 4371, 4372.
• Scala XML: 506, 508, 549, 558, 560, 587, 636, 637, 643, 648, 649, 654, 655, 657, 658, 659, 663, 668, 672, 673, 675, 676, 678, 689, 694, 764, 765.
• Gradle: 9885, 15491, 16527, 18003, 18001, 18559, 18248, 18732, 24088, 32656, 32666.
• ZIO: 9219, 9629, 9680, 9756, 9979.
• ZIO HTTP: 613, 2767.
• ZIO Schema: 667, 668.
• XMLResolver: 28, 44, 54.
• Xalan: 83.
• Jib: 2105, 2905, 2906.
• http4s: 3565.
• Besom: 295, 303, 387.
• DevPod: 1150, 1152, 1153, 1170.
• DevPod GCloud Provider: 21, 22, 23, 24, 25.
• ScalaCheck: 1105, 1107.
• ScalaTest: 2357.
• MUnit: 918.
• specs2: 1327.
• ScalaTest Gradle plugin: 92, 96.
• Asciidoctor Gradle plugin: 658, 709, 726.
• Bintray Gradle Plugin: 329.
• SASS Gradle plugin: 28.
• JetBrains Gateway: 732.
• GitHub Commit Action: 2, 16.
• Google Cloud Builders: 417.
• Playwright Java: 471.
• Playwright Scala.js: 17.
• intellij-dtlc: 22.
• Home Assistant: 126447.
• Tapir: 2543.
• JEuclid: 5.
• CETEIcean: 20, 23, 35, 36, 37, 38, 39.
• wikibonsai/jekyll-wikirefs: 1, 2, 3.

Some of the corrections I suggested were accepted by the author of the (excellent!) book "Program = Proof" by Samuel Mimram.