Luís Almeida (luislcc)

luislcc

Geek Repo

Location:Portugal

Github PK Tool:Github PK Tool

Luís Almeida's repositories

LC-TP4

Resolução do trabalho prático 4 da UC Lógica Computacional. Temos 2 problemas, um problema relacionado com Verificação Formal de Software e outro problema relacionado com Sistemas Híbridos

Language:Jupyter NotebookStargazers:1Issues:1Issues:0
Language:JavaStargazers:1Issues:0Issues:0
Language:ErlangStargazers:1Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

my_deeplab

Models and examples built with TensorFlow

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:0Issues:0Issues:0