daniangelos Goto Github PK

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

dissertation

Classe LaTeX para monografia/dissertação/tese do CIC.

dotfiles

dotfiles

gravitas

Gravitas is an immersive game where players manipulate gravity to navigate tricky levels, solve puzzles, and uncover the secrets of a mysterious world.

habitica

A habit tracker app which treats your goals like a Role Playing Game.

lsfa-submission

modalsat

Automated generation of models in modal logic

moneysphere

montador_sb

Montador feito na disciplina Software Basico para traduzir um codigo assembly simples em código de máquina.

node-js-getting-started

Getting Started with Node on Heroku

novabot

novaquotes

potential-octo-ninja

Simular comunicação entre dois ou mais clientes utilizando técnicas de detecção de erros

prolog-protocols

Repositório destinado ao projeto de análise de protocolos de segurança em prolog.

pseudo-so

Implementação de um pseudo-SO multiprogramado

review-rsa-paper

A review of the paper A Method for Obtaining Digital Signatures and Public-Key Cryptosystems (RSA)

snf-pltl

Normal Form transformation for Propositional Linear Temporal Logic

take_note

tg-ffj

tg-modalsat

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.

tradutores

Repositório para os trabalhos de Tradutores

wheretoeat

A Telegram Bot to log and rate restaurants where I've been

wil

Women in Logic

year-in-pixels

yetris

Customizable Tetris(tm) for the terminal.