Tadashi's repositories
CalculadoraCidadao.gs
Script para usar a Calculadora do Cidadão do Banco Central em planilhas do Google Sheets.
GPT3-Event-Scheduler
GPT3 Event Scheduler is a chrome extension that allows you to quickly and easily create Google calendar events by simply simply selecting a text and clicking a button.
bustabit_analyzer
A Google Spreadsheet for studying the statistics of Bustabit and simulating gambling strategies
c4-common-issues
A collection of common security issues and possible gas optimizations in solidity smart contracts
mpYALMIP-neos
An open-source interface to use the multiple-precision solver SDPA-GMP from NEOS server with YALMIP
space_medals
Achievement system for Ethernaut. Not affiliated, associated, authorized, endorsed by, or in any way officially connected with Ethernaut and OpenZeppelin.
abc-ds
ABC-DS: obstacle Avoidance with Barrier-Certified polynomial Dynamical Systems
arxiv-utils
Meaningful titles for tabs and PDF downloads! Also supports tab search.
curve-pool-registry
On-chain registry and unified API for Curve.fi pools.
dynamic_obstacle_avoidance
Closed-Form Algorithm for Dynamic Obstacle Avoidance
eth-explorers-extension
Browser extension to open Ethereum addresses & transaction hash from any page on popular explorers + dashboards
forta-agent-aave-challenge1
Forta Agent Development Contest - Challenge #1
forta-agent-aave-challenge5
Forta Agent Development Contest - Challenge #5
htadashi.github.io
Personal web site
learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
python-control
The Python Control Systems Library is a Python module that implements basic operations for analysis and design of feedback control systems.
robot_descriptions.py
Import robot descriptions as Python modules
science-based-games-list
Science-based games - a collaborative list
SumOfSquares.jl
Sum of Squares Programming for Julia
various_tools
Various tools from linear algebra to vector spaces to simplify and speed up computation.
YALMIP
MATLAB toolbox for optimization modeling