admission-regression-challenge

Deep Learning Regression with Admissions Data from Codecademy

ativ-5-es2

bwtech-1

carcara

Carcará is a proof checker and elaborator for SMT proofs in the Alethe format.

code-editor

My own HTML-CSS-JS code editor created using React.

create-react-app

Set up a modern web app by running one command.

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

demo-pre-commit

Pre-commit demo for Software Engineering II presentation

etl-stack-overflow-tp2-ad

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

fina

An finnancial wealth app

forest-cover-classification

My forest cover classification project from codecademy.

hand-written-detection

Handwritten images detection using deep learning techniques at https://vinciusb.github.io/hand-written-detection/.

network-coding

A repository with some network coding techniques experiments

pneumonia-classification-challenge

My codecademy pneumonia classification challenge.

proof-visualizer

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.

special_components

A collection of special components made with React.

task-orchestrator

todo-organizer

ToDo Organizer is a project that let the user create and organize his tasks.

tp-ad

tp-es2

tp1-a2

tp1-c1

tp1-rc

tp2-c1

tp2-ibd

tp3-ml

twitter-api

twitter-clone

My twitter clone

vinciusb

vinciusb.github.io

My personal profile