ricardokelvin

markdown-badges

Badges for your personal developer branding, profile, and projects.

awesome-zsh-plugins

A collection of ZSH frameworks, plugins, themes and tutorials.

letscode-cards

Repository for the cards game in the Let's Code video

Ada-exploits

A collection of disturbingly easy exploits in Ada

CCNA-Practice

A web-application I created to practice for my CCNA 201-300 exam. It includes most of the questions from the module exams. My goal was to create a fast and clean interface, with the option to combine different modules, randomized questions, and instant feedback.

m5stick-nemo

M5 Stick C firmware for high-tech pranks

free-science-books

Inspired by free-programming-books, here's free-science-books

free-programming-books

:books: Freely available programming books

spark-by-example

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

awesome-ada

A curated list of awesome resources related to the Ada and SPARK programming language

expo

An open-source framework for making universal native apps with React. Expo runs on Android, iOS, and the web.

HDCS

Human Digital Control Station [HDCS] - Rocket Test Software

ADCS

Autonomous Digital Control Station [ADCS] - Rocket Test Software

how_does_monero_work

This is the code for "How Does Monero Work?" By Siraj Raval on Youtube

livro

Códigos utilizados no livro: Introdução à Programação com a Linguagem C: Aprenda a resolver problemas com uma abordagem prática, Rodrigo de Barros Paes, Novatec, 2016.

privacy.sexy

Open-source tool to enforce privacy & security best-practices on Windows, macOS and Linux, because privacy is sexy

imersao13

live-imersao-13-nestjs-sse

revisao-ao-vivo-styled-components