Loading...
Interested in programming language theory and tooling, type theory, static analysis, software verification, as well as data-science and data processing tools.
6 day streak.
Coding for 14 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Starred grzegorz-bielski/gossip-glomers
January 14th, 2026 9:54 AM