Pinned Repositories
abcvoting
Approval-based committee (multi-winner) rules
anki
Anki for desktop computers
browser-extensions
contextbuddy
Platform documentation
dotty
Research platform for new language concepts and compiler technologies for Scala.
fpinscala
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
gedit
gedit
inject-typed
ioc
pbatko's Repositories
pbatko/abcvoting
Approval-based committee (multi-winner) rules
pbatko/anki
Anki for desktop computers
pbatko/browser-extensions
pbatko/contextbuddy
Platform documentation
pbatko/dotty
Research platform for new language concepts and compiler technologies for Scala.
pbatko/fpinscala
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
pbatko/gedit
gedit
pbatko/inject-typed
pbatko/ioc
pbatko/kentuckymule
Limits of Scala typechecking speed
pbatko/manim
Animation engine for explanatory math videos
pbatko/MW2D
Python Multiwinner Package
pbatko/mw2d-pbatko
pbatko/mypy
Optional static typing for Python 2 and 3 (PEP 484)
pbatko/oxidation
rust/scala hybrid toy systems programming language compiler
pbatko/pandas-stubs
pbatko/pmp
pbatko/pyhocon
HOCON parser for Python
pbatko/sales-forecasting-with-nn
Materials for the 'Sales Forecasting with Neural Networks' hands-on presentation
pbatko/scala-native
Your favourite language gets closer to bare metal.
pbatko/scalag
Multi-platform GPGPU computations with Scala, seamlessly 🚀
pbatko/spark
Mirror of Apache Spark
pbatko/TeXiFy-IDEA
LaTeX support for the IntelliJ platform by JetBrains.
pbatko/tpa_hm