SebastianGuadalupe

Sebastián Guadalupe's repositories

Language:Jupyter Notebook100

cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination

Language:JuliaNOASSERTION000

Language:HTML000

Language:MATLAB010

Language:JavaScript000

Methods to soundly verify deep neural networks

Language:JuliaMIT000

Language:Shell000

Language:TypeScript000

Language:Vue000

Personal Repository

000

Technical test for Torre.co

Language:JavaScript000