Popular repositories Loading

1. Mini_Projeto_WebScraper Mini_Projeto_WebScraper Public

   Nesse projeto apliquei alguns conhecimentos de web scraping para desenvolver um mini projeto para capturar as reviews da Steam de Death Strading, passando-as para um arquivo CSV, com auxilio de uma…

   Python 1

2. SentinelaAI SentinelaAI Public

   Forked from nicolassilv04/SentinelaAI

   Modelo preditivo com uso de árvore de decisões para qualidade do ar

   Python

3. ial ial Public

   Forked from cedille/ial

   The Iowa Agda Library

   Agda

4. Haskell_Estudos Haskell_Estudos Public

   Algumas coisas que fiz em Haskell para aprender um pouco mais sobre programação funcional.

   Haskell

5. Lean_Estudos Lean_Estudos Public

   Algumas coisas que fiz em Lean4 para fins de estudos.

   Lean

6. SmithAI SmithAI Public

   Forked from nicolassilv04/SmithAI

   Agente de IA geral que sera aplicado para manutenção preventiva de maquinas e identificações de anomalias.

   Python