Javier Enríquez (@jaeem006)
github

jaeem006

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    29
  • Global Rank 505,517 (Top 18 %)
  • Followers 63
  • Following 40
  • Registered about 9 years ago
  • Most used languages
    Java
         33.3 %
    Coq     22.2 %
    JavaScript
         22.2 %
    HTML
         11.1 %
    Kotlin
         11.1 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 18,534
  • Country Ranking
    Coq     25
    Kotlin
         1,199
    Java
         2,043
    HTML
         2,553
    JavaScript
         7,677

Top repositories

1

adoptpet

JavaScript
6
star
2

BeduSantander23JavaSE1

Java
5
star
3

frontend-fundamentals-s23

HTML
5
star
4

java-se-II-santander23

Java
4
star
5

GuardiaNacionalReact

JavaScript
2
star
6

JavaHSBC

Java
2
star
7

checkpointKotlin

A simple project to study Frgamnets and navigation drawer
Kotlin
1
star
8

Semantica

Prácticas en coq para la clase de Semántica y verificación en Facultad de Ciencias UNAM
Coq
1
star
9

algoritmoW

Verificación formal en coq del algoritmo W, proyecto final de la materia Semántica y verificación en Facultad de ciencias UNAM
Coq
1
star