VO

Vladimir Gladshtein

@volodeyka

I do formal verification with interactive theorem provers

Singapore

Joined September 2019

50 Followers

15 Following

AI Insights & Achievements

22/ 100

Veteran

Coding for 7 years.

Public Repos

13

Total Stars

20

Total Forks

0

Public Gists

0

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: January 7th, 2026 • 0 contributions

Most active week: Nov 17–Nov 23 • 8 contributions

Most active month: Jun 2025 • 52 contributions

IssueCommentEvent on verse-lab/loom

January 17th, 2026 11:20 AM

Pushed to popl-tutorial at verse-lab/loom

January 10th, 2026 10:20 PM

Pushed to popl-tutorial at verse-lab/loom

January 10th, 2026 10:19 PM

Pushed to popl-tutorial at verse-lab/loom

January 10th, 2026 10:00 AM

Pushed to popl-tutorial at verse-lab/loom

January 9th, 2026 1:57 PM

Pushed to popl-tutorial at verse-lab/loom

January 9th, 2026 1:54 PM

Pushed to popl-tutorial at verse-lab/loom

January 9th, 2026 1:44 PM

Pushed to popl-tutorial at verse-lab/loom

January 9th, 2026 1:44 PM

Pushed to popl-tutorial at verse-lab/loom

January 9th, 2026 1:30 PM

Created branch popl-tutorial in verse-lab/loom

January 8th, 2026 12:37 PM

GitHub Analytics

Vladimir Gladshtein

Veteran