Pinned Repositories
AlgorithmsUN2021II
avocadoLeafs
A proyect to automate sickness photo detection in avocado tree's leafs.
biocompuUNAL
para proyectos laboratorio ingeniería agronómica y ciencia de datos
computerSciencePDFs
This are some of my academic texts written while my undergrad, there are some in english and some in spanish ranging from set theory to computer algebra
FoodMan
restaurant management system: use spring vaadin and sql tutorial
MathAndAlgos
A repository with work and research on introductory material to Math and CS
miltonPNG
An infinite-canvas paint program, vision is to make it work like epic pen by using transparency
Optimization
samples2LTL
A tool for obtaining LTL formulas from a sample of positive and negative words.
sistemasoperativosunal
gquinche's Repositories
gquinche/AlgorithmsUN2021II
gquinche/avocadoLeafs
A proyect to automate sickness photo detection in avocado tree's leafs.
gquinche/biocompuUNAL
para proyectos laboratorio ingeniería agronómica y ciencia de datos
gquinche/computerSciencePDFs
This are some of my academic texts written while my undergrad, there are some in english and some in spanish ranging from set theory to computer algebra
gquinche/FoodMan
restaurant management system: use spring vaadin and sql tutorial
gquinche/MathAndAlgos
A repository with work and research on introductory material to Math and CS
gquinche/miltonPNG
An infinite-canvas paint program, vision is to make it work like epic pen by using transparency
gquinche/Optimization
gquinche/samples2LTL
A tool for obtaining LTL formulas from a sample of positive and negative words.
gquinche/sares2.0
gquinche/sistemasoperativosunal
gquinche/UNALSO22
repoSistemasOperativos
gquinche/z3
The Z3 Theorem Prover