bugarela

tla-transmutation

Elixir code and test generation from TLA+ specifications

bachelor-thesis

dotfiles

My config files

omnistack-11

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

nix-configs

Blueprints

pump-station

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

tla-mode

tla-mode for emacs

bugarela

EZpizza-backend

hmmstats

petri-net

A Petri Net implementation for my formal methods class

secure-programming-c

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

agencia_turismo

Meu trabalho final para a disciplina de Banco de Dados 2

angular-playground

bugarela.github.io

My personal website

cs231n.github.io

Public facing notes page

curves

Playground with curves generation for my geometric modeling classes.

EMDocs.pt-br

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

evolutionary-playground

glumpy-dataviz

go

The Open Source Data Science Masters

Hacktoberfest-2019

Repositório livre para alunos da UDESC, tem o intuito de fornecer, através dos PRs enviados, alguns códigos de uso comum que podem ser úteis durante a graduação.

hugo-identity-theme

Little profile/card-style template for Hugo. Based on Identity by HTML5 UP.

interchain-security

Replicated security (aka interchain security V1) is an open sourced IBC application which allows cosmos blockchains to lease their proof-of-stake security to one another.

pywal

🎨 Generate and change color-schemes on the fly.

udesc

My notes

vscoq

A Visual Studio Code extension for Coq [maintainer=@maximedenes]

CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

cosmwasm-ctf

A fork to setup these contracts with rustc nightly

ibc-go

Interblockchain Communication Protocol (IBC) implementation in Golang.