Kevin Lacker

@lacker

Open GitHub

🇺🇸 Piedmont, CA

Profile age: about 16 years

Updated 5 days ago

504 followers • 1 following

Contacts

lacker@gmail.com

lacker.io

Profile Overview

Global United States

Global Rank

Legend 2

Persona

Contributor

#84,820

#5,979

#17,221

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

ikalman

309

updated almost 10 years ago • age about 16 years

C100.0%

kata

updated about 2 months ago • age over 8 years

Lean49.5%

JavaScript30.9%

Python13.5%

Isabelle4.7%

Rocq Prover1.4%

godel

updated over 3 years ago • age over 3 years

cardkit

updated about 10 years ago • age over 10 years

JavaScript87.5%

CSS10.6%

HTML1.9%

coinkit

updated over 6 years ago • age almost 8 years

Go70.5%

TypeScript27.8%

Shell1.6%

HTML0.1%

View all 16 repositories

Last Contributions

2025
acornlib
~16 PRs +1,514-1,405
31
8
2024
leo-docs-source
1 PR +1-1
Mermaid
331
223
acornlib
1 PR +3,519-0
31
8
acorn
1 PR +31,601-0
Rust
25
6
49
2022
turbo_seti
4 PRs +184-128
Jupyter Notebook
62
38
33

View all contributions

Latest Updates

15 Sep 2025
Followers Count:503 504
01 Sep 2025
Followers Count:502 503
17 Aug 2025
Followers Count:504 502
03 Aug 2025
Followers Count:505 504
20 Jul 2025
Followers Count:504 505
05 Jan 2025
First seen

Subscribe to lacker's GitHub rank updates in your messenger

WhatsApp Telegram