https://github.com/dubinsky/dubinsky

Leonid Dubinsky's personal website
https://github.com/dubinsky/dubinsky
Last synced: 4 months ago
JSON representation
Leonid Dubinsky's personal website
Host: GitHub
URL: https://github.com/dubinsky/dubinsky
Owner: dubinsky
License: apache-2.0
Created: 2019-02-25T04:50:27.000Z (over 7 years ago)
Default Branch: master
Last Pushed: 2026-01-23T20:07:10.000Z (4 months ago)
Last Synced: 2026-01-23T20:36:55.205Z (4 months ago)
Language: HTML
Homepage: http://dub.podval.org
Size: 800 KB
Stars: 0
Watchers: 1
Forks: 0
Open Issues: 3
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project

README

          [![](https://img.shields.io/badge/Notes-dub.podval.org-informational?style=for-the-badge)](https://dub.podval.org)

[![](https://img.shields.io/badge/Bio-LinkedIn-informational?style=for-the-badge)](https://www.linkedin.com/in/leoniddubinsky/)

[![](https://img.shields.io/badge/Social-X/Twitter-informational?logo=X&logoColor=blue&style=for-the-badge)](https://twitter.com/leoniddubinsky)

[![](https://img.shields.io/badge/Code-Scala-critical?logo=Scala&logoColor=red)](https://www.scala-lang.org/)

[![](https://img.shields.io/badge/Framework-ZIO-important?logo=zio&logoColor=red)](https://www.scala-lang.org/)

[![](https://img.shields.io/badge/Build-Gradle-important?logo=Gradle)](https://gradle.org/)

[![](https://img.shields.io/badge/IDE-Intellij-important?logo=intellij-idea)](https://www.jetbrains.com/idea/)

[![](https://img.shields.io/badge/Code-Scala.js-important?logo=Scala&logoColor=red)](https://www.scala-js.org/)

[![](https://img.shields.io/badge/Deploy-Docker-informational?logo=Docker)](https://www.docker.com/)

[![](https://img.shields.io/badge/Cloud-GCP-informational?logo=google-cloud)](https://cloud.google.com/)

[![](https://img.shields.io/badge/OS-Linux-informational?logo=linux)](https://www.linux.org/)

[![](https://img.shields.io/badge/OS-Red_Hat-informational?logo=red-hat&logoColor=red)](https://getfedora.org/)

## Open Source Work ##

- [Gradle plugin for multi-backend Scala](https://github.com/dubinsky/scalajs-gradle)

- [TEI](https://github.com/opentorah/opentorah/tree/master/core/src/main/scala/org/opentorah/tei)

  [site generation](https://github.com/opentorah/opentorah/tree/master/core/src/main/scala/org/opentorah/site) and

  [publishing of document collections](https://github.com/opentorah/opentorah/tree/master/collector)

- [Jewish calendrical calculations](https://github.com/opentorah/opentorah/tree/master/core/src/main/scala/org/opentorah/calendar)

- [learning schedules](https://github.com/opentorah/opentorah/tree/master/texts/src/main/scala/org/opentorah/schedule) for

  [various Jewish texts](https://github.com/opentorah/opentorah/tree/master/texts/src/main/scala/org/opentorah/texts)

- [Google Cloud Run Gradle plugin](https://github.com/dubinsky/cloud-run)

- [Raspberry Pi GPIO in Scala](https://github.com/dubinsky/podval-iot)

- [photo metadata extraction](https://github.com/dubinsky/podval-imageio) and

  [archive synchronization](https://github.com/dubinsky/podval-photo-sync)

- [parsing XML with ZIO and pretty-printing it with Paiges](https://github.com/opentorah/opentorah/tree/master/core/src/main/scala/org/opentorah/xml)

- [DocBook processing](https://github.com/opentorah/opentorah/tree/master/core/src/main/scala/org/opentorah/docbook)

  and [DocBook Gradle plugin](https://github.com/opentorah/opentorah/tree/master/docbook)

- [where is this code running?](https://github.com/dubinsky/podval-run)

## Small Open Source Contributions ##

- [Scala](https://github.com/scala/bug/):

  [11963](https://github.com/scala/bug/issues/11963).

- [Dotty](https://github.com/lampepfl/dotty): [13814](https://github.com/lampepfl/dotty/issues/13814).

- [Scala.js](https://www.scala-js.org/):

  _[5132](https://github.com/scala-js/scala-js/pull/5132)_,

  _[5134](https://github.com/scala-js/scala-js/pull/5134)_,

  [5199](https://github.com/scala-js/scala-js/issues/5199).

- [Scala.js Website](https://www.scala-js.org):

  _[658](https://github.com/scala-js/scala-js-website/pull/658)_.

- [Scala Native](https://scala-native.org/):

  _[4320](https://github.com/scala-native/scala-native/pull/4320)_,

  [4323](https://github.com/scala-native/scala-native/issues/4323),

  _[4342](https://github.com/scala-native/scala-native/pull/4342)_,

  [4370](https://github.com/scala-native/scala-native/issues/4370),

  _[4371](https://github.com/scala-native/scala-native/pull/4371)_,

  [4372](https://github.com/scala-native/scala-native/issues/4372),

  [4421](https://github.com/scala-native/scala-native/issues/4421),

  _[4427](https://github.com/scala-native/scala-native/pull/4427)_.

- [Scala XML](https://github.com/scala/scala-xml):

  [506](https://github.com/scala/scala-xml/issues/506),

  [508](https://github.com/scala/scala-xml/issues/508),

  _[549](https://github.com/scala/scala-xml/pull/549)_,

  _[558](https://github.com/scala/scala-xml/pull/558)_,

  _[560](https://github.com/scala/scala-xml/pull/560)_,

  _[587](https://github.com/scala/scala-xml/pull/587)_,

  _[636](https://github.com/scala/scala-xml/pull/636)_,

  _[637](https://github.com/scala/scala-xml/pull/637)_,

  _[643](https://github.com/scala/scala-xml/pull/643)_,

  _[648](https://github.com/scala/scala-xml/pull/648)_,

  _[649](https://github.com/scala/scala-xml/pull/649)_,

  _[654](https://github.com/scala/scala-xml/pull/654)_,

  _[655](https://github.com/scala/scala-xml/pull/655)_,

  _[657](https://github.com/scala/scala-xml/pull/657)_,

  _[658](https://github.com/scala/scala-xml/pull/658)_,

  _[659](https://github.com/scala/scala-xml/pull/659)_,

  _[663](https://github.com/scala/scala-xml/pull/663)_,

  _[668](https://github.com/scala/scala-xml/pull/668)_,

  _[672](https://github.com/scala/scala-xml/pull/672)_,

  _[673](https://github.com/scala/scala-xml/pull/673)_,

  _[675](https://github.com/scala/scala-xml/pull/675)_,

  _[676](https://github.com/scala/scala-xml/pull/676)_,

  _[678](https://github.com/scala/scala-xml/pull/678)_,

  [689](https://github.com/scala/scala-xml/issues/689),

  [694](https://github.com/scala/scala-xml/discussions/694),

  [764](https://github.com/scala/scala-xml/discussions/764),

  [765](https://github.com/scala/scala-xml/discussions/765).

- [Gradle](https://github.com/gradle/gradle):

  [9885](https://github.com/gradle/gradle/issues/9855),

  [15491](https://github.com/gradle/gradle/issues/15491#issuecomment-1003832976),

  [16527](https://github.com/gradle/gradle/issues/16527),

  _[18003](https://github.com/gradle/gradle/pull/18003)_,

  [18001](https://github.com/gradle/gradle/pull/18001#issuecomment-899107656),

  [18559](https://github.com/gradle/gradle/issues/18559),

  [18248](https://github.com/gradle/gradle/pull/18248#issuecomment-946284352),

  [18732](https://github.com/gradle/gradle/issues/18732),

  _[24088](https://github.com/gradle/gradle/pull/24088)_,

  _[32656](https://github.com/gradle/gradle/pull/32656)_,

  [32666](https://github.com/gradle/gradle/issues/32666).

- [ZIO](https://zio.dev/):

  _[9219](https://github.com/zio/zio/pull/9219)_,

  [9629](https://github.com/zio/zio/issues/9629),

  _[9680](https://github.com/zio/zio/pull/9680)_,

  _[9756](https://github.com/zio/zio/pull/9756)_,

  _[9979](https://github.com/zio/zio/pull/9979)_,

  [10037](https://github.com/zio/zio/issues/10037),

  _[10053](https://github.com/zio/zio/pull/10053)_,

  _[10054](https://github.com/zio/zio/pull/10054)_,

  _[10120](https://github.com/zio/zio/pull/10120)_.

- [ZIO HTTP](https://github.com/zio/zio-http):

  [613](https://github.com/zio/zio-http/issues/613),

  [2767](https://github.com/zio/zio-http/issues/2767).

- [ZIO Schema](https://github.com/zio/zio-schema):

  [667](https://github.com/zio/zio-schema/issues/667),

  [668](https://github.com/zio/zio-schema/issues/668).

- [XMLResolver](https://github.com/ndw/xmlresolver):

  _[28](https://github.com/ndw/xmlresolver/pull/28)_,

  [44](https://github.com/xmlresolver/xmlresolver/issues/44),

  [54](https://github.com/xmlresolver/xmlresolver/issues/54).

- [Xalan](https://github.com/apache/xalan-java):

  _[83](https://github.com/apache/xalan-java/pull/83)_.

- [Jib](https://github.com/GoogleContainerTools/jib):

  [2105](https://github.com/GoogleContainerTools/jib/issues/2105),

  [2905](https://github.com/GoogleContainerTools/jib/issues/2905),

  _[2906](https://github.com/GoogleContainerTools/jib/pull/2906)_.

- [http4s](https://github.com/http4s/http4s):

  [3565](https://github.com/http4s/http4s/issues/3565).

- [Omarchy](https://omarchy.org/):

  [3368](https://github.com/basecamp/omarchy/discussions/3368).

- [Besom](https://virtuslab.github.io/besom/):

  [295](https://github.com/VirtusLab/besom/issues/295),

  [303](https://github.com/VirtusLab/besom/issues/303),

  [387](https://github.com/VirtusLab/besom/issues/387).

- [DevPod](https://github.com/loft-sh/devpod):

  _[1150](https://github.com/loft-sh/devpod/pull/1150)_,

  [1152](https://github.com/loft-sh/devpod/issues/1152),

  [1153](https://github.com/loft-sh/devpod/issues/1153),

  [1170](https://github.com/loft-sh/devpod/issues/1170).

- [DevPod GCloud Provider](https://github.com/loft-sh/devpod-provider-gcloud):

  [21](https://github.com/loft-sh/devpod-provider-gcloud/issues/21),

  _[22](https://github.com/loft-sh/devpod-provider-gcloud/pull/22)_,

  [23](https://github.com/loft-sh/devpod-provider-gcloud/issues/23),

  _[24](https://github.com/loft-sh/devpod-provider-gcloud/pull/24)_,

  _[25](https://github.com/loft-sh/devpod-provider-gcloud/pull/25)_.

- [DevPod Community](https://github.com/skevetter/devpod):

  _[161](https://github.com/skevetter/devpod/pull/161)_,

  _[163](https://github.com/skevetter/devpod/pull/163)_,

  _[195](https://github.com/skevetter/devpod/pull/195)_,

  [196](https://github.com/skevetter/devpod/issues/196),

  [221](https://github.com/skevetter/devpod/issues/221),

  [224](https://github.com/skevetter/devpod/issues/224),

  _[229](https://github.com/skevetter/devpod/pull/229)_,

  _[251](https://github.com/skevetter/devpod/pull/251)_,

  _[252](https://github.com/skevetter/devpod/pull/252)_,

  _[253](https://github.com/skevetter/devpod/pull/253)_,

  _[256](https://github.com/skevetter/devpod/pull/256)_,

  _[257](https://github.com/skevetter/devpod/pull/257)_.

- [ScalaCheck](https://scalacheck.org):

  [1105](https://github.com/typelevel/scalacheck/issues/1105),

  _[1107](https://github.com/typelevel/scalacheck/pull/1107)_,

  _[1117](https://github.com/typelevel/scalacheck/pull/1117)_.

- [ScalaTest](https://www.scalatest.org/):

  [2357](https://github.com/scalatest/scalatest/issues/2357).

- [ScalaTest website](https://www.scalatest.org):

  _[253](https://github.com/scalatest/scalatest-website/pull/253)_.

- [MUnit](https://scalameta.org/munit/):

  _[918](https://github.com/scalameta/munit/pull/918)_,

  _[968](https://github.com/scalameta/munit/pull/968)_.

- [specs2](https://etorreborre.github.io/specs2/):

  _[1327](https://github.com/etorreborre/specs2/pull/1327)_;

  [1352](https://github.com/etorreborre/specs2/issues/1352);

  [1353](https://github.com/etorreborre/specs2/issues/1353).

- [ScalaTest Gradle plugin](https://github.com/maiflai):

  [92](https://github.com/maiflai/gradle-scalatest/issues/92),

  [96](https://github.com/maiflai/gradle-scalatest/issues/96).

- [uTest](https://github.com/com-lihaoyi/utest):

 _[383](https://github.com/com-lihaoyi/utest/pull/383)_,

 _[384](https://github.com/com-lihaoyi/utest/pull/384)_.

- [Weaver Test](https://github.com/typelevel/weaver-test):

  _[183](https://github.com/typelevel/weaver-test/pull/183)_,

  [185](https://github.com/typelevel/weaver-test/issues/185),

  _[186](https://github.com/typelevel/weaver-test/pull/186)_,

  _[187](https://github.com/typelevel/weaver-test/pull/187)_.

- [AirSpec](https://wvlet.org/airframe/docs/airspec):

  [4006](https://github.com/wvlet/airframe/issues/4006),

  _[4012](https://github.com/wvlet/airframe/pull/4012)_.

- [Hedgehog]():

  [296](https://github.com/hedgehogqa/scala-hedgehog/issues/296),

  _[300](https://github.com/hedgehogqa/scala-hedgehog/pull/300)_.

- [scalaprops](https://github.com/scalaprops/scalaprops):

  [530](https://github.com/scalaprops/scalaprops/issues/530).

- [Asciidoctor Gradle plugin](https://github.com/asciidoctor/asciidoctor-gradle-plugin):

  [658](https://github.com/asciidoctor/asciidoctor-gradle-plugin/issues/658#issuecomment-1637346784),

  [709](https://github.com/asciidoctor/asciidoctor-gradle-plugin/issues/709#issuecomment-2146117002),

  [726](https://github.com/asciidoctor/asciidoctor-gradle-plugin/pull/726#issuecomment-2146131724).

- [Bintray Gradle Plugin](https://github.com/bintray):

  [329](https://github.com/bintray/gradle-bintray-plugin/issues/329).

- [SASS Gradle plugin](https://github.com/EtienneMiret/sass-gradle-plugin):

  [28](https://github.com/EtienneMiret/sass-gradle-plugin/issues/28).

- [IntelliJ IDEA Scala Plugin](https://github.com/JetBrains/intellij-scala):

  [SCL-24127](https://youtrack.jetbrains.com/issue/SCL-24127/Scala-Test-Inconsistencies);

  [SCL-24128](https://youtrack.jetbrains.com/issue/SCL-24128/Support-shared-sources-for-Gradle-not-just-sbt).

- [JetBrains Gateway](https://www.jetbrains.com/remote-development/gateway/):

  [GTW-732](https://youtrack.jetbrains.com/issue/GTW-732).

- [IntelliJ IDEA](https://www.jetbrains.com/idea/):

  [IJPL-63403](https://youtrack.jetbrains.com/issue/IJPL-63403/SSH-default-port-missing-with-OpenSSH-config);

  [IDEA-383958](https://youtrack.jetbrains.com/projects/IDEA/issues/IDEA-383958/SSH-integration-does-not-query-the-SSH-agent-for-SSH-keys-stored-on-hardware-tokens-e.g.-YubiKey);

  [IJPL-226400](https://youtrack.jetbrains.com/projects/GTW/issues/IJPL-226400/Remote-Gateway-desktop-file-is-broken-Gateway-does-not-start).

- [GitHub Commit Action](https://github.com/github-actions-x/commit):

  [2](https://github.com/github-actions-x/commit/issues/2),

  [16](https://github.com/github-actions-x/commit/issues/16).

- [Google Cloud Builders](https://github.com/GoogleCloudPlatform/cloud-builders):

  [417](https://github.com/GoogleCloudPlatform/cloud-builders/issues/417).

- [Playwright Java](https://github.com/microsoft/playwright-java):

  [471](https://github.com/microsoft/playwright-java/issues/471).

- [Playwright Scala.js](https://github.com/gmkumar2005/scala-js-env-playwright):

  [17](https://github.com/gmkumar2005/scala-js-env-playwright/issues/17).

- [intellij-dtlc](https://github.com/owo-lang/intellij-dtlc):

  _[22](https://github.com/owo-lang/intellij-dtlc/pull/22)_.

- [Home Assistant](https://github.com/home-assistant):

  [126447](https://github.com/home-assistant/core/issues/126447).

- [Tapir](https://tapir.softwaremill.com/en/latest/):

  _[2543](https://github.com/softwaremill/tapir/pull/2543)_.

- [JEuclid](https://github.com/rototor/jeuclid):

 _[5](https://github.com/rototor/jeuclid/pull/5)_.

- [CETEIcean](https://github.com/TEIC/CETEIcean):

  [20](https://github.com/TEIC/CETEIcean/issues/20),

 _[23](https://github.com/TEIC/CETEIcean/pull/23)_,

 _[35](https://github.com/TEIC/CETEIcean/pull/35)_,

  [36](https://github.com/TEIC/CETEIcean/issues/36),

 _[37](https://github.com/TEIC/CETEIcean/pull/37)_,

  [38](https://github.com/TEIC/CETEIcean/issues/38),

  [39](https://github.com/TEIC/CETEIcean/issues/39).

- [wikibonsai/jekyll-wikirefs](https://github.com/wikibonsai/jekyll-wikirefs):

  [1](https://github.com/wikibonsai/jekyll-wikirefs/issues/1),

  [2](https://github.com/wikibonsai/jekyll-wikirefs/issues/2),

  [3](https://github.com/wikibonsai/jekyll-wikirefs/issues/3).

- [toml-scala](https://github.com/indoorvivants/toml-scala):

  [10](https://github.com/indoorvivants/toml-scala/issues/10).

## Proofreading ##

Some of the corrections I suggested were accepted by the author of the (excellent!) book

["Program = Proof"](https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/course.pdf)

by Samuel Mimram.
ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Awesome

https://github.com/dubinsky/dubinsky

Awesome Lists containing this project

README
