Phillip Mates (@philomates)
github

philomates

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    22
  • Global Rank 588,016 (Top 21 %)
  • Followers 84
  • Registered almost 15 years ago
  • Most used languages
    Coq     20.0 %
    Java
         20.0 %
    Racket
         20.0 %
    C++
         20.0 %
    Lua
         20.0 %
  • Location 🇩🇪 Germany
  • Country Total Rank 24,854
  • Country Ranking
    Racket
         11
    Coq     34
    Lua
         1,190
    C++
         4,237
    Java
         9,136

Top repositories

1

dalvik-abstract-interpreter

Abstract Interpreter for Dalvik bytecode
Racket
10
star
2

ecpp-aks-primality-proving

3 Primality Proving Implementations: ECPP, AKS, and a hybrid of the two
C++
5
star
3

lambda-calculus-in-java

Java
2
star
4

cps-from-stlc-to-sysf

Modeling a CPS translation from STLC to System F in Coq using Locally Nameless
Coq
1
star
5

.dot_files

linux config files
Lua
1
star