GitHub - dubinsky/dubinsky: Leonid Dubinsky's personal website

8000 GitHub - dubinsky/dubinsky: Leonid Dubinsky's personal website

More Web Proxy on the site http://driver.im/

Name		Name	Last commit message	Last commit date
Latest commit History 171 Commits
.devcontainer		.devcontainer
.github/workflows		.github/workflows
.obsidian		.obsidian
_drafts		_drafts
_includes		_includes
_layouts		_layouts
_plugins		_plugins
_posts		_posts
_sass		_sass
assets		assets
days		days
keys		keys
notes		notes
.gitignore		.gitignore
404.html		404.html
CNAME		CNAME
Gemfile		Gemfile
README.md		README.md
_config.yml		_config.yml
index.md		index.md
tags.html		tags.html

Repository files navigation

Open Source Work

Small Open Source Contributions

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.

Proofreading

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

0