arielsilveira

Pinned Repositories

arielsilveira
0 2 00
Artificial-Intelligence
Repositório voltado para códigos que utilizam Inteligência Artificial
Language:C++0 2 00
Bioinformatica
Language:Python0 2 00
Cpp
Language:C++0 2 00
DataMining
Language:Jupyter Notebook0 2 00
haskell-study
Language:Haskell0 2 00
MaxSAT
Language:C++0 2 00
ModalLibrary
Modal Logic Library in Coq
Language:TeX14 6 01
OCEV
Language:C++1 2 00
LML
A deep-embedding formalization of modal logic in Coq
Language:TeX4 4 31

arielsilveira's Repositories

arielsilveira/ModalLibrary
Modal Logic Library in Coq
Language:TeX14 6 01
arielsilveira/OCEV
Language:C++1 2 00
arielsilveira/arielsilveira
0 2 00
arielsilveira/Artificial-Intelligence
Repositório voltado para códigos que utilizam Inteligência Artificial
Language:C++0 2 00
arielsilveira/Bioinformatica
Language:Python0 2 00
arielsilveira/Cpp
Language:C++0 2 00
arielsilveira/DataMining
Language:Jupyter Notebook0 2 00
arielsilveira/haskell-study
Language:Haskell0 2 00
arielsilveira/MaxSAT
Language:C++0 2 00
arielsilveira/Metaheuristica
Language:Go2 0
arielsilveira/PAA
Language:C++2 0
arielsilveira/Parallel-Program
Repositório aplicado para códigos de programação paralela
Language:C++2 0
arielsilveira/TEC-Mestrado
Language:Haskell2 0
arielsilveira/Trabalhos
2 0