Fan of videogames, technology, anime and science. Obsessed with programming. In love with everything cyberpunk.
upv-shopmate/shopmate Public archive
Smart Shopping Cart project for UPV's course "PIN"
A collection of libraries for implementing compilers in .NET.
Implementation of the STRategy-based Automatic Safety aSsurance tool (STRASS), an automatic program safety enforcement tool for the Maude programming language