bugarela/bachelor-thesis

Stars
13
Rank 1,512,713 (Top 30 %)
Language
TeX
License
MIT License
Created over 5 years ago
Updated about 5 years ago

bugarela/bachelor-thesis

bugarela

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

tla-transmutation

Elixir code and test generation from TLA+ specifications

GADTInference

tipos

omnistack-11

NodeJS + React + React Native app from Rocketseat's "Semana Omnistack 11.0"

old-dotfiles

My config files

SpotiBot

Um bot para o Telegram que te ajuda a descobrir músicas através da API do Spotify

tla-input

TLA+ Unicode input for Emacs

pump-station

Specification and prototype for a water pump station control, based on Borkowski, 2012 work

OutsideIn

Tableaux

meg-

TrabalhoCompiladores

bugarela

TeoriaDosGrafos

Minhas implementações ao longo do semestre para a disciplina de Teoria dos Grafos

petri-net

A Petri Net implementation for my formal methods class

hmmstats

secure-programming-c

A research on secure programming tools for C/C++, made for a class on computer network security.

EZpizza-backend

MAX-SAT

Aplication of simulated annealing probabilistic technique to find MAX-3SAT optimal or suboptimal solutions, comparing to random search. I do not approve or like this, it's a homework for a class.

SemanaDaComputacaoUDESC

Site desenvolvido para a XIX Semana da Computação da UDESC. Baseado em um template disponível em: https://github.com/SuyashLakhotia/BootstrapCards

evolutionary-playground

pdfs

Just some PDF's I want easy acess to.

NewtonSystem

An implementation of Newton's method for solving nonlinear systems

EMDocs.pt-br

Public repository for Microsoft Enterprise Mobility (EM) documentation in Portuguese (Brazil) (pt-br).

DarkPink-Gray-TelegramTheme

curves

Playground with curves generation for my geometric modeling classes.

AntClustering

udesc

ProjetoCarteiroChines

Projeto final da disciplina de Teoria dos Grafos: Implementação do problema do caixeiro chinês para a coleta de lixo.

PregaoEletronico

Trabalho para a disciplina de Sistemas Operacionais

Coq

My journey learning Coq =)

bugarela.github.io

My personal website

gabrielamafra.github.io

RSA

PontoFixo

Trabalho para a disciplina de Análise Numérica, implementando o método da iteração de ponto fixo para encontrar zeros de funções.

TrabalhoProjetoDeArquivos

agencia_turismo

Meu trabalho final para a disciplina de Banco de Dados 2

glumpy-dataviz

angular-playground