Rankings
Badges
/
b-scholz
Rankings
Badges
Overview
Ranks
Repositories
Languages
Bernhard Scholz
@b-scholz
Refresh
Open GitHub
🇦🇺 Australia
The University of Sydney
Profile age: about 10 years
Updated 1 day ago
36 followers • 5 following
Contacts
http://b-scholz.github.io
@bsch0132
Organizations
Repositories
souffle
3
2
2
updated almost 3 years ago • age over 9 years
C++
95.2%
CMake
2.8%
Yacc
1.0%
Lex
0.6%
Python
0.5%
Contributions
2025
aida
2 PRs
+758
-425
Go
0
3
1
2024
Carmen
3 PRs
+6,695
-548
Go
33
14
Tosca
1 PR
+1,932
-0
Go
15
13
Aida
1 PR
+6,077
-5
Go
7
11
Norma
1 PR
+2,128
-0
Go
3
9
Formal-Verification-of-DAG-Rider
~10 PRs
+720
-656
TLA
0
0
2023
Aida
2 PRs
+206
-2
Go
7
11
2022
souffle
~11 PRs
+16
-4
C++
1,011
222
22
Aida
~31 PRs
+55
-56
Go
7
11
go-ethereum-substate
2 PRs
+165
-44
Go
4
16
Show more
