Kevin Laeufer

@ekiwi

Open GitHub

🇺🇸 Ithaca, NY

Cornell University

Profile age: almost 13 years

Updated 11 days ago

259 followers • 157 following

Contacts

kevinlaeufer.com

@ekiwi@discuss.systems

Organizations

Profile Overview

Global United States

Global Rank

Elite 3

Persona

Influencer

#85,361

#323,205

#38,596

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

rfuzz

111

updated over 3 years ago • age about 7 years

Rust43.9%

Scala23.6%

Tcl16.5%

Python8.9%

C++7.2%

wellen

updated about 1 month ago • age almost 2 years

Rust95.9%

Python3.3%

VHDL0.7%

Makefile0.1%

rtl-fuzz-lab

updated almost 4 years ago • age about 4 years

SystemVerilog50.5%

Verilog24.9%

Scala18.0%

Python4.8%

C1.8%

pynq

updated over 7 years ago • age almost 8 years

Tcl70.5%

Scala16.4%

Rust13.2%

rtl-repair

updated 8 months ago • age over 3 years

Python50.4%

Verilog46.6%

Rust2.3%

Scilab0.4%

SMT0.3%

View all 33 repositories

Last Contributions

2025
patronus
1 PR +3,255-127
SMT
11
4
protocols
3 PRs +550-426
Rust
1
0
2024
calyx
~10 PRs +159-164
Rust
544
60
9
chiseltest
1 PR +230-0
Scala
232
76
40
easy-smt
1 PR +4-4
Rust
35
9

View all contributions

Latest Updates

18 Sep 2025
Starred Repositories Count:994 996
04 Sep 2025
Starred Repositories Count:989 994
Followers Count:260 259
Following Count:155 157
20 Aug 2025
Pronouns: he/him
Starred Repositories Count:982 989
Following Count:154 155
06 Aug 2025
Starred Repositories Count:979 982
Followers Count:258 260
Following Count:151 154
23 Jul 2025
Starred Repositories Count:978 979
Following Count:150 151
06 Jan 2025
First seen

Subscribe to ekiwi's GitHub rank updates in your messenger

WhatsApp Telegram