Marianna Rapoport (@amaurremi)
github

amaurremi

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    49
  • Global Rank 346,182 (Top 12 %)
  • Followers 52
  • Following 3
  • Registered about 14 years ago
  • Most used languages
    Scala
         28.6 %
    Java
         28.6 %
    Dafny     14.3 %
    Racket
         14.3 %
    HTML
         14.3 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 1,392
  • Country Ranking
    Dafny     1
    Scala
         11
    Racket
         13
    HTML
         77
    Java
         679

Top repositories

1

dot-calculus

Adding extensions to DOT calculus
HTML
23
star
2

IDE

Interprocedural Distributive Environment algorithm implementation
Scala
16
star
3

stringoid

Retrieving URLs from APK files
Scala
6
star
4

dot-plt-redex

Formalizing DOT calculus (and extensions) in PLT Redex
Racket
1
star
5

correlated

Improving precision of data-flow analysis in the presence of correlated method calls
Java
1
star
6

Cogra

Demonstrationg homogeneous coordinates transformations for a computer graphics
Java
1
star
7

leroy-compiler-dafny

Implementing Xavier Leroy's toy compiler presented at DSSS'17 in Dafny
Dafny
1
star