- São Paulo, Brazil
- https://www.linkedin.com/in/rochad/
Stars
A framework for the elicitation, specification, formalization and analysis of requirements.
A Central Control Plane for AWS Permissions and Access
Java rate limiting library based on token-bucket algorithm.
A curated list of the latest breakthroughs in AI by release date with a clear video explanation, link to a more in-depth article, and code
Dependency free implementation of first order logic with python operators overloading
A community driven list of useful Emacs packages, libraries and other items.
Python framework for creating, editing, and invoking Noisy Intermediate-Scale Quantum (NISQ) circuits.
Modern implementation of the hybrid genetic search (HGS) algorithm specialized to the capacitated vehicle routing problem (CVRP). This code also includes an additional neighborhood called SWAP*.
A library to generate LaTeX expression from Python code.
📙 Amazon Web Services — a practical guide
Graphviz DOT rendering and animated transitions using D3
Integrated end-to-end testing framework written in Node.js and using W3C Webdriver API. Developed at @browserstack
A kernel that can read from keyboard and print on-screen
Kyoto is an imperative, general-purpose, statically typed language
A persistence agnostic Event Store for .NET
An unified React Native Picker Modal component for iOS and Android.
React Native Calendar Components 🗓️ 📆
A brief computer graphics / rendering course
A curated awesome list of lists of interview questions. Feel free to contribute! 🎓
Metasploitable3 is a VM that is built from the ground up with a large amount of security vulnerabilities.
Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.
Extensible Node Web Server to run your SPA's (Single Page Applications)