Rankings
Badges
/
arminbiere
Rankings
Badges
Overview
Ranks
Repositories
Languages
Armin Biere
@arminbiere
Refresh
Open GitHub
🇩🇪 Freiburg im Breisgau, Germany
Profile age: about 9 years
Updated 7 days ago
256 followers • 3 following
Contacts
armin.biere@gmail.com
http://arminbiere.com
@arminbiere
Profile Overview
Global
Germany
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 3
Persona
Creator
#25,685
#2,314,510
#39,242
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
kissat
565
106
10
updated 3 months ago • age over 5 years
C
98.8%
Shell
1.2%
cadical
479
156
31
updated 11 days ago • age about 9 years
C++
88.5%
C
9.2%
Shell
2.2%
Dockerfile
0.1%
Makefile
0.1%
satch
119
18
updated almost 3 years ago • age over 4 years
C
94.5%
Shell
4.6%
C++
0.9%
lingeling
103
28
1
updated over 1 year ago • age about 8 years
C
98.8%
Shell
1.2%
aiger
87
27
4
updated about 2 months ago • age over 4 years
C
97.1%
Shell
2.8%
Makefile
0.1%
View all 12 repositories
Last 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
View all contributions
Latest Updates
22 Sep 2025
Followers Count:
255
256
25 Aug 2025
Followers Count:
254
255
28 Jul 2025
Followers Count:
252
254
13 Jul 2025
Followers Count:
250
252
28 Jun 2025
Followers Count:
247
250
20 Jan 2025
First seen
Subscribe to arminbiere's GitHub rank updates in your messenger
WhatsApp
Telegram
