Popular repositories Loading

1. Bearing-Fault-Diagnosis-DeepLearning Bearing-Fault-Diagnosis-DeepLearning Public

   Diagnosing bearing fault using Deep Learning models

   Jupyter Notebook 3

2. erc-properties-hevm erc-properties-hevm Public

   ERC Properties for Formal Verification using hevm

   Solidity 2

3. Biblioteca-Algoritmos Biblioteca-Algoritmos Public

   Algoritmos aprendidos e utilizados na cadeira IF672

   C++ 1

4. ListasIP-2018.2 ListasIP-2018.2 Public

   Questões das Listas da Disciplina de Introdução à Programação

   Java

5. SAT-Solver SAT-Solver Public

   Brute force SAT Solver, not optimized.

   JavaScript

6. CinDex CinDex Public

   Forked from Guilhermeasper/CinDex

   Repositório do Projeto de IP - Cindex

   Java