LE

Leni Aniva

@lenianiva

Researcher in Machine-Assisted Theorem Proving; Director of NorCal Hakkero Factory No. 1

San Francisco Bay Area, Gensokyo

Website

Joined June 2022

119 Followers

34 Following

AI Insights & Achievements

42/ 100

Growth

20 new projects with 16 stars.

Consistency

23 day streak.

Influencer

119 followers.

Organizations

ST CV

Public Repos

41

Total Stars

101

Total Forks

15

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 8th, 2026 • 6 contributions

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

Most active month: Aug 2025 • 222 contributions

Pushed to adopt-thread at lenianiva/jlrs

February 1st, 2026 8:33 PM

Pushed to adopt-thread at lenianiva/jlrs

February 1st, 2026 8:29 PM

Pushed to adopt-thread at lenianiva/jlrs

February 1st, 2026 8:23 PM

Pushed to adopt-thread at lenianiva/jlrs

February 1st, 2026 9:16 AM

Pushed to adopt-thread at lenianiva/jlrs

February 1st, 2026 9:01 AM

Pushed to adopt-thread at lenianiva/jlrs

February 1st, 2026 8:56 AM

Pushed to adopt-thread at lenianiva/jlrs

February 1st, 2026 8:54 AM

Pushed to adopt-thread at lenianiva/jlrs

February 1st, 2026 8:43 AM

Pushed to adopt-thread at lenianiva/jlrs

February 1st, 2026 8:41 AM

IssueCommentEvent on Taaitaaiger/jlrs

January 30th, 2026 7:29 AM

GitHub Analytics

Leni Aniva

Growth

Consistency

Influencer