vinciusb's Projects
Deep Learning Regression with Admissions Data from Codecademy
Carcará is a proof checker and elaborator for SMT proofs in the Alethe format.
My own HTML-CSS-JS code editor created using React.
Set up a modern web app by running one command.
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Pre-commit demo for Software Engineering II presentation
A stack overflow survey analysis using ETL (Pentaho PDI) and data warehouse techniques for better comprehension of the dev community behavior in function of many parameters. Data Warehouse class - UFMG - 2022/1
An finnancial wealth app
My forest cover classification project from codecademy.
Handwritten images detection using deep learning techniques at https://vinciusb.github.io/hand-written-detection/.
A repository with some network coding techniques experiments
My codecademy pneumonia classification challenge.
A visualizer for proof certificate generated by CVC5, a SMT solver. This website provides customizable views through graphs and tables that allow a better understanding of certificates and the operation of SMT solvers.
A collection of special components made with React.
ToDo Organizer is a project that let the user create and organize his tasks.
My twitter clone
My personal profile