Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/marijnheule

Badges

Overview
Ranks
Repositories
Languages

Marijn Heule

@marijnheule

Pittsburgh

Carnegie Mellon University

Profile age: about 14 years

Updated 10 days ago

110 followers • 0 following

Repositories

137

25

updated over 3 years ago • age over 8 years

C100.0%

78

10

updated over 2 years ago • age almost 6 years

TeX96.4%

C1.3%

C++1.2%

Python0.9%

Makefile0.2%

67

21

1

updated 12 months ago • age about 9 years

C100.0%

37

13

updated 4 months ago • age over 7 years

C85.8%

C++13.2%

Shell0.7%

Makefile0.3%

matrix-challenges

11

1

updated about 4 years ago • age over 6 years

C100.0%

9

2

updated 7 months ago • age about 6 years

C90.6%

C++6.1%

Edge2.3%

SMT0.7%

Makefile0.3%

march-SAT-solver

6

0

updated about 13 years ago • age about 13 years

C97.3%

C++2.7%

6

0

updated about 4 years ago • age over 7 years

Python63.5%

C19.0%

Shell17.5%

4

1

updated 5 months ago • age almost 4 years

C++69.0%

C22.7%

HTML4.7%

Makefile1.9%

Shell1.8%

2

0

updated over 1 year ago • age about 2 years

TeX100.0%

Contributions