Sergei Winitzki
@winitzkiTheoretical physicist turned software engineer, passionate for functional programming, applied type theory, and declarative domain-specific languages
Language Breakdown
Lines of code distribution across 38 owned repositories
T-Shaped Developer
T-shapedDeep in TeX with broad versatility
Collaboration Network
Global Impact visualization
Repos
106
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Not following anyone yet.
Top Repositories
A free book: "The Science of Functional Programming"
The full source code and hyperlinked PDF of the book "Linear Algebra via Exterior Products" (2010)
Talk slides for recent presentations
Code examples for functional programming
A reference implementation of Dhall in Scala
Implementation of join calculus in Objective-C for iOS
Concurrency in Reactions: Declarative multicore programming in Scala
Example code for Scala Threads and Futures presentation
A simple UI for a lambda-calculus interpreter
A sample web app using Flyd and React
Open Source Impact
Contributions to external projects
