Badges

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

/arminbiere

Badges

Overview
Ranks
Repositories
Languages

Armin Biere

@arminbiere

🇩🇪 Freiburg im Breisgau, Germany

Profile age: about 9 years

Updated 8 days ago

256 followers • 3 following

Contacts

armin.biere@gmail.com

http://arminbiere.com

Repositories

565

106

10

updated 3 months ago • age over 5 years

C98.8%

Shell1.2%

479

156

31

updated 11 days ago • age about 9 years

C++88.5%

C9.2%

Shell2.2%

Dockerfile0.1%

Makefile0.1%

119

18

updated about 3 years ago • age over 4 years

C94.5%

Shell4.6%

C++0.9%

103

28

1

updated over 1 year ago • age about 8 years

C98.8%

Shell1.2%

87

27

4

updated about 2 months ago • age over 4 years

C97.1%

Shell2.8%

Makefile0.1%

35

7

1

updated 2 months ago • age over 3 years

C98.0%

Shell1.0%

Python0.7%

Dockerfile0.4%

16

5

updated over 1 year ago • age over 3 years

C95.9%

Shell4.1%

10

4

updated about 1 year ago • age over 3 years

C98.6%

Shell1.4%

9

10

1

updated 12 months ago • age over 2 years

C++95.0%

Shell5.0%

6

1

updated about 4 years ago • age about 4 years

C95.5%

Shell4.1%

Makefile0.4%

Contributions

2024
tabularAllSAT
1 PR +0-0
SMT
9
2
2023
ShonanArtOfSAT
1 PR +13-2
10
10
2019
website
3 PRs +38-2
HTML
11
34
2018
website
1 PR +69-0
HTML
11
34
2017
website
1 PR +102-0
HTML
11
34