Pinned Loading

1. LambdaEX_TCC LambdaEX_TCC Public

   Versão da formalização do lamba ex referenciada pelo TCC

   Coq 1

2. dotfiles dotfiles Public

   Dotfiles

   Shell

3. Monografia Monografia Public

   TeX

4. RCProxy RCProxy Public

   Servidor proxy para o trabalho de Redes de Computadores

   Python

5. Tradutores Tradutores Public

   Repositório para os trabalhos de Tradutores

   C 1

6. crawler_deck_builder crawler_deck_builder Public

   Julia