Skip to content
View dubinsky's full-sized avatar
6 followers · 1 following

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Block or report dubinsky

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
dubinsky/README.md

Open Source Work

Small Open Source Contributions

Proofreading

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

Pinned Loading

  1. opentorah/opentorah opentorah/opentorah Public

    XML processing with Scala XML, DOM and SAX; DocBook processing and Gradle plugin; TEI and TEI-based archives; Jewish calendar (arithmetic and astronomical).

    Scala 2 1

  2. opentorah/alter-rebbe.org opentorah/alter-rebbe.org Public

    Digital archive of the early history of Chabad; 19 Kislev Archive.

    SCSS 2

  3. cloud-run cloud-run Public

    Gradle plugin to deploy a service described in a knative Service YAML file to Google Cloud Run from the local machine or from CI like GitHub Actions - or to run it in the local Docker.

    Scala 3

  4. scalajs-gradle scalajs-gradle Public

    Gradle plugin for integrating with sbt-compatible test frameworks *and* ScalaJS

    Scala 8 1