Language Breakdown
Lines of code distribution across 15 owned repositories
T-Shaped Developer
T-shapedDeep in Rust with broad versatility
Collaboration Network
Global Impact visualization
Repos
125
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
John Leo
@halfaya
agloo
@agloo
Psi Vesely
@psivesely
Leonardo de Moura
@leodemoura
Kevin Morio
@kevinmorio
Top Repositories
Towards a CAP Theorem for Censorship Circumvention
Library of Babel as literary halting problem
minimal cookiecutter template for new TLA+ modules
a Qt-based GUI for SecureDrop journalists 📰🗞️
A Rust verification tool
Kindle clippings to mbox (for import into DEVONthink)
restore the authenticated HPKE modes of RFC 9180
The formally verified crypto library for Rust
Documentation for WEBCAT
Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)
Open Source Impact
Contributions to external projects
