Explore projects

Demo de Automation web UI para Testing Funcional 2019, con Selenium Web Driver y TestNG

Analysis of Quadriceps (RF) and Hamstring (BF) Co-Activation During Single-Leg Landing and Its Biomechanical Pattern Using Electromyography in Female Handball Players

Companion code to "Computation of paramodular forms"

Public available code for paper "Formalizing Projective Geometry in Agda"