Marianna Rapoport
@amaurremiLanguage Breakdown
Lines of code distribution across 20 owned repositories
T-Shaped Developer
T-shapedDeep in HTML with broad versatility
Collaboration Network
Global Impact visualization
Repos
35
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Top Repositories
Adding extensions to DOT calculus
Interprocedural Distributive Environment algorithm implementation
Retrieving URLs from APK files
Implementing Xavier Leroy's toy compiler presented at DSSS'17 in Dafny
Formalizing DOT calculus (and extensions) in PLT Redex
Improving precision of data-flow analysis in the presence of correlated method calls
Demonstrationg homogeneous coordinates transformations for a computer graphics
LLM prompt for generating weekly family meal plan
Verified Rust for low-level systems code
AWS Encryption SDK for Dafny
Open Source Impact
Contributions to external projects
