Rafael Baltazar (@Rafael-Baltazar)
github

Rafael-Baltazar

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    9
  • Global Rank 1,034,169 (Top 36 %)
  • Followers 10
  • Following 17
  • Registered about 11 years ago
  • Most used languages
    Java
         50.0 %
    C++
         33.3 %
    C
         16.7 %
  • Location 🇵🇹 Portugal
  • Country Total Rank 3,724
  • Country Ranking
    Java
         416
    C++
         478
    C
         825

Top repositories

1

jmlcute

Generate unit test cases from Java files annotated with JML.
Java
4
star
2

NLP-MP2-3

System that recognizes the language of a given text.
C++
1
star
3

rpg-first

Battle game for a command line interface.
Java
1
star
4

cpd

Parallel and distributed computing badass project.
C
1
star
5

PAva-Java-Inspector

The Java Inspector is a command line application to inspect Java code.
Java
1
star
6

Safety-Verification-for-C

Bounded model checker for C programs. Receives verification conditions as input and uses Microsoft's Z3 SMT Solver for constraint solving.
C++
1
star