Marianna Rapoport

@amaurremi

Open GitHub

🇩🇰 Aarhus, Denmark

Profile age: about 15 years

Updated 14 days ago

60 followers • 3 following

Contacts

http://mrapoport.com

Profile Overview

Global Denmark

Global Rank

Master 4

Persona

Contributor

#384,129

#103,936

#216,124

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

dot-calculus

updated over 5 years ago • age over 9 years

HTML83.3%

Coq14.6%

CSS1.0%

JavaScript0.9%

Makefile0.3%

IDE

updated about 10 years ago • age over 10 years

Scala73.8%

Java26.2%

stringoid

updated over 8 years ago • age over 10 years

Scala69.6%

Python15.7%

Java13.5%

Shell1.2%

correlated

updated over 10 years ago • age over 11 years

Java64.5%

Scala33.6%

Shell1.9%

planook

updated over 9 years ago • age over 9 years

HTML48.0%

CSS29.9%

JavaScript21.0%

Scala0.9%

Python0.3%

View all 7 repositories

Last Contributions

2025
verus
2 PRs +333-1
Rust
2,024
121
31
2022
dafny
2 PRs +45-11
C#
3,170
283
52
2021
rust
1 PR +1-1
Rust
106,816
13,787
141
cargo-fuzz
2 PRs +550-119
Rust
1,688
122
5
concordium-rust-smart-contracts
3 PRs +763-136
Rust
69
38
49

View all contributions

Latest Updates

21 Aug 2025
Followers Count:59 60
23 Jul 2025
Followers Count:60 59
09 Jul 2025
Followers Count:59 60
05 Jan 2025
First seen

Subscribe to amaurremi's GitHub rank updates in your messenger

WhatsApp Telegram