Language Breakdown
Lines of code distribution across 36 owned repositories
T-Shaped Developer
T-shapedDeep in Rust with broad versatility
Collaboration Network
Global Impact visualization
Repos
42
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
maurizi0
@maurizi0
Adrian Vollmer
@AdrianVollmer
Philipp Rieth
@PhilippRieth
Carsten Gips
@cagix
Phi
@PhictionalOne
Top Repositories
Symbolic MD5 implementation from https://datatracker.ietf.org/doc/html/rfc1321 using the Z3 SMT solver.
Demo of LD_PRELOAD. Overriding and log `socket(2)`, `recv(2)`, `send(2)`, and `close(2)`.
An experiment in git transfer protocols. Try git clone https://infinite-git.stfnw.de and see what happens.
Symbolic SHA1 implementation from https://datatracker.ietf.org/doc/html/rfc6234 using the Z3 SMT solver.
Talk about git transfer protocols on 2026-05-16
Vim syntax highlighting for syzlang.
A demo of userspace-networking / TUN devices on Linux: creating a network tunnel over the file system.
Exploring various kinds of program execution (interpreter / VM / JIT compiler / AOT compiler).
Talk about introduction to property testing on 2026-01-28
Very rough PoC for detecting/reproducing CVE-2022-0847 (dirty pipe) through random generation of syscalls and differential fuzzing against a model.
Open Source Impact
Contributions to external projects
