Giters
Ariel Agne da Silveira (arielsilveira)

arielsilveira

Geek Repo

69

followers

122

following

58

stars

Github PK Tool:Github PK Tool

Organizations
funcao
trusted

Ariel Agne da Silveira's repositories

ModalLibrary

Modal Logic Library in Coq

Language:TeXLicense:BSD-2-ClauseStargazers:14Issues:6Issues:0

OCEV

Language:C++Stargazers:1Issues:2Issues:0

arielsilveira

Stargazers:0Issues:2Issues:0

Artificial-Intelligence

Repositório voltado para códigos que utilizam Inteligência Artificial

Language:C++Stargazers:0Issues:0Issues:0

Bioinformatica

Language:PythonStargazers:0Issues:0Issues:0

Cpp

Language:C++Stargazers:0Issues:2Issues:0

DataMining

Language:Jupyter NotebookStargazers:0Issues:2Issues:0

haskell-study

Language:HaskellStargazers:0Issues:0Issues:0

MaxSAT

Language:C++Stargazers:0Issues:0Issues:0

Metaheuristica

Language:GoStargazers:0Issues:0Issues:0

PAA

Language:C++Stargazers:0Issues:2Issues:0

Parallel-Program

Repositório aplicado para códigos de programação paralela

Language:C++Stargazers:0Issues:2Issues:0

TEC-Mestrado

Language:HaskellStargazers:0Issues:0Issues:0

Trabalhos

Stargazers:0Issues:1Issues:0