• multi-backend Scala Gradle plugin
• parsing XML with ZIO and pretty-printing it with Paiges
• TEI site generation and publishing of document collections
• Jewish calendrical calculations
• learning schedules for various Jewish texts
• Google Cloud Run Gradle plugin
• photo archive management

Archived:

• Raspberry Pi GPIO in Scala
• photo metadata extraction and archive synchronization
• 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, 4421, 4427.
• 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.
• ZIO: 9219, 9629, 9680, 9756, 9979, 10037, 10053, 10054, 10120.
• ZIO HTTP: 613, 2767.
• ZIO Schema: 667, 668.
• ZIO Blocks: 1262 (markdown), 1263 (markdown), 1327 (yaml), 1377 (markdown).
• XMLResolver: 28, 44, 54.
• Xalan: 83.
• Jib: 2105, 2905, 2906.
• http4s: 3565.
• Tapir: 2543.
• Gradle: 9885, 15491, 16527, 18003, 18001, 18559, 18248, 18732, 24088, 32656, 32666.
• Asciidoctor Gradle plugin: 658, 709, 726.
• Bintray Gradle Plugin: 329.
• SASS Gradle plugin: 28.
• IntelliJ IDEA Scala Plugin: SCL-24127, SCL-24128.
• JetBrains Gateway: GTW-732.
• IntelliJ IDEA: IJPL-63403, IDEA-383958, IJPL-226400.
• Omarchy: 3368.
• Besom: 295, 303, 387.
• DevPod: 1150, 1152, 1153, 1170.
• DevPod GCloud Provider: 21, 22, 23, 24, 25.
• DevPod Community: 161, 163, 195, 196, 221, 224, 229, 251, 252, 253, 256, 257, 528, 571, 602, 605, 606, 615, 623, 624.
• DevPod Community GCloud Provider: 2, 27, 34, 35, 44.
• DevPod Community AWS Provider: 82.
• ScalaCheck: 1105, 1107, 1117.
• ScalaTest: 2357; ScalaTest website: 253.
• MUnit: 918, 968, 1075.
• specs2: 1327, 1352, 1353.
• ScalaTest Gradle plugin: 92, 96.
• uTest: 383, 384.
• Weaver Test: 183, 185, 186, 187.
• AirSpec: 4006, 4012.
• Hedgehog: 296, 300.
• scalaprops: 530.
• GitHub Commit Action: 2, 16.
• Google Cloud Builders: 417.
• Playwright Java: 471.
• Playwright Scala.js: 17.
• intellij-dtlc: 22.
• Home Assistant: 126447.
• JEuclid: 5.
• CETEIcean: 20, 23, 35, 36, 37, 38, 39.
• wikibonsai/jekyll-wikirefs: 1, 2, 3.
• toml-scala: 10.

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