Pinned Repositories
chess-attack
cset-compiler
Compiler implementation for CSet language.
ctkn-0.0.1
An implementation of a clausal tableaux calculus for the modal logic Kn
cypress-setup
pseudo-SO
Implementação de um pseudo-SO multiprogramado
snf-pltl
Normal Form transformation for Propositional Linear Temporal Logic
tg-ffj
wheretoeat
A Telegram Bot to log and rate restaurants where I've been
wil
Women in Logic
year-in-pixels
daniangelos's Repositories
daniangelos/year-in-pixels
daniangelos/chess-attack
daniangelos/pseudo-SO
Implementação de um pseudo-SO multiprogramado
daniangelos/snf-pltl
Normal Form transformation for Propositional Linear Temporal Logic
daniangelos/tg-ffj
daniangelos/wheretoeat
A Telegram Bot to log and rate restaurants where I've been
daniangelos/wil
Women in Logic
daniangelos/cset-compiler
Compiler implementation for CSet language.
daniangelos/ctkn-0.0.1
An implementation of a clausal tableaux calculus for the modal logic Kn
daniangelos/cypress-setup
daniangelos/dissertation
Classe LaTeX para monografia/dissertação/tese do CIC.
daniangelos/dotfiles
dotfiles
daniangelos/gravitas
Gravitas is an immersive game where players manipulate gravity to navigate tricky levels, solve puzzles, and uncover the secrets of a mysterious world.
daniangelos/habitica
A habit tracker app which treats your goals like a Role Playing Game.
daniangelos/lsfa-submission
daniangelos/ModalSat
Automated generation of models in modal logic
daniangelos/MoneySphere
daniangelos/montador_SB
Montador feito na disciplina Software Basico para traduzir um codigo assembly simples em código de máquina.
daniangelos/node-js-getting-started
Getting Started with Node on Heroku
daniangelos/novabot
daniangelos/novaquotes
daniangelos/potential-octo-ninja
Simular comunicação entre dois ou mais clientes utilizando técnicas de detecção de erros
daniangelos/prolog-protocols
Repositório destinado ao projeto de análise de protocolos de segurança em prolog.
daniangelos/review-rsa-paper
A review of the paper A Method for Obtaining Digital Signatures and Public-Key Cryptosystems (RSA)
daniangelos/take_note
daniangelos/tg-modalsat
daniangelos/tradutor_sb
Implementação em C++ de um método de tradução de uma linguagem de montagem simples para uma representação de código objeto e IA-32.
daniangelos/Tradutores
Repositório para os trabalhos de Tradutores
daniangelos/yetris
Customizable Tetris(tm) for the terminal.