IM

Kiva

@imkiva

PL beginner. I write compilers and IDEs.

Website

Joined November 2014

385 Followers

37 Following

AI Insights & Achievements

64/ 100

Quality

Avg 15.3 stars per repo.

Consistency

238 day streak.

Veteran

Coding for 12 years.

Profile README

Hi, This is Kiva (Pronoun: she/her).

Messages not signed with my GPG Key do not represent personal opinions.

:rainbow: Love compilers and type theory.
:fire: Mostly code in Java and Rust but not limited to any specific language.
:smiling_face_with_three_hearts: Currently working on The Aya Prover. She is a dependently-typed programming language and a promising proof assistant.

Organizations

LL OW AY

Public Repos

22

Total Stars

337

Total Forks

45

Public Gists

10

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 15th, 2026 • 16 contributions

Most active week: Jan 26–Feb 1 • 60 contributions

Most active month: Sep 2025 • 241 contributions

Pushed to fix-180097 at imkiva/llvm-project

February 6th, 2026 11:54 AM

PullRequestReviewEvent on llvm/llvm-project

February 6th, 2026 11:20 AM

PullRequestReviewCommentEvent on llvm/llvm-project

February 6th, 2026 11:20 AM

PullRequestReviewEvent on llvm/llvm-project

February 6th, 2026 11:15 AM

PullRequestReviewCommentEvent on llvm/llvm-project

February 6th, 2026 11:15 AM

Pushed to fix-180097 at imkiva/llvm-project

February 6th, 2026 11:08 AM

Pushed to fix-180097 at imkiva/llvm-project

February 6th, 2026 10:36 AM

IssueCommentEvent on llvm/llvm-project

February 6th, 2026 10:32 AM

Pushed to fix-180097 at imkiva/llvm-project

February 6th, 2026 10:30 AM

Pushed to fix-180097 at imkiva/llvm-project

February 6th, 2026 10:16 AM

GitHub Analytics

Kiva

Quality

Consistency

Veteran