Rankings
Badges
/
amaurremi
Rankings
Badges
Overview
Ranks
Repositories
Languages
Marianna Rapoport
@amaurremi
Refresh
Open GitHub
🇩🇰 Aarhus, Denmark
Profile age: about 15 years
Updated 14 days ago
60 followers • 3 following
Contacts
http://mrapoport.com
Repositories
dot-calculus
24
8
updated over 5 years ago • age over 9 years
HTML
83.3%
Coq
14.6%
CSS
1.0%
JavaScript
0.9%
Makefile
0.3%
IDE
16
3
updated about 10 years ago • age over 10 years
Scala
73.8%
Java
26.2%
stringoid
6
0
updated over 8 years ago • age over 10 years
Scala
69.6%
Python
15.7%
Java
13.5%
Shell
1.2%
correlated
1
0
updated over 10 years ago • age over 11 years
Java
64.5%
Scala
33.6%
Shell
1.9%
planook
0
0
updated over 9 years ago • age over 9 years
HTML
48.0%
CSS
29.9%
JavaScript
21.0%
Scala
0.9%
Python
0.3%
correlated-paper
0
0
updated over 7 years ago • age almost 11 years
TeX
98.7%
Java
0.8%
Scala
0.5%
dafny
0
0
updated over 3 years ago • age about 6 years
C#
90.9%
F#
5.9%
Go
1.5%
Python
1.0%
JavaScript
0.7%
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
concordium.github.io
3 PRs
+178
-184
Python
18
37
concordium-contracts-common
1 PR
+16
-3
Rust
9
9
16
concordium-wasm-smart-contracts
1 PR
+38
-26
Rust
7
2
3
concordium-network-dashboard
~8 PRs
+268
-116
Elm
1
2
2020
women-in-programming-languages-research
1 PR
+2
-2
173
69
Show more
