Mattias Ulbrich
@mattulbrich
Karlsruhe Institute of Technology, Inst. of Theoretical Informatics
Karlsruhe, DE
29
Followers
0
Following
30
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 15 owned repositories
10.0M
Total LOC
Java
6,903,878 lines
68.9%
N/A
C++
1,509,501 lines
15.1%
N/A
SMT
813,989 lines
8.1%
N/A
C
271,578 lines
2.7%
N/A
Boogie
136,200 lines
1.4%
N/A
Other
386,737 lines
3.9%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Java
Java
C++
SMT
C
Boogie
Collaboration Network
Global Impact visualization
Repos
77
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
2 days
96
Contributions
78
Commits
7
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Following
0 total
Not following anyone yet.
Synced via GitHub
Top Repositories
llreve
Automatic regression verification for LLVM programs
21
6
C++
mimaflux
19
8
Java
dive
Dafny Interactive Verification Environment (DIVE)
4
0
Java
DynamicDavid
Interactive Hilbert Calculus for propositional dynamic logic
1
0
Scala
TableauApplet
a Java implementation of an interative tableau first order theorem prover. For teaching.
1
0
Java
contract-chameleon
0
0
Java
DynNonNull
Dynamic Runtime Checker for NonNull Annotations in Java
0
0
Java
convide-lightup
SAT Encoding Challenge for the CONVIDE Lecture
0
0
Java
rephrasor
Improve the language of scientific texts using the OpenAI GPT API
0
0
Kotlin
java-mixfix
A generic mixfix parsing library for Java
0
0
Java
Open Source Impact
Contributions to external projects
79 merged PRs
verifythis/verifythis.github.io
5
KeYProject/key-docs
3
KeYProject/key
79
Contract-LIB/contract-chameleon
0
WolframPfeifer/encapsulation-example
0
perr-workshop/2026
0
Contributed to 6 repositories