CS

Vlad L

λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"

Sheffield, United Kingdom

Joined June 2017

42 Followers

65 Following

AI Insights & Achievements

38/ 100

7 day streak.

Coding for 9 years.

Profile README

Public Repos

52

Total Stars

16

Total Forks

3

Public Gists

1

Top Languages

Based on primary language of repositories

Recent Activity

Contribution Graph

Activity Timeline

Commits and contributions grouped by day, week, or month.

High productivity periods

Most active day: February 4th, 2026 • 7 contributions

Most active week: Nov 24–Nov 30 • 13 contributions

Most active month: Sep 2025 • 156 contributions

Pushed to main at cstml/tuple

February 2nd, 2026 10:58 AM

January 16th, 2026 2:34 PM

GitHub Analytics