Pinned Repositories
anki-kanji-wallpaper-generator
An Anki addon for automatically generating wallpapers containing the kanji tagged as learning (or a custom tag) in Anki notes.
bustabit_analyzer
A Google Spreadsheet for studying the statistics of Bustabit and simulating gambling strategies
CalculadoraCidadao.gs
Script para usar a Calculadora do Cidadão do Banco Central em planilhas do Google Sheets.
Coursera_Capstone
A preliminary analysis of Foursquare ratings of sushi restaurants at New York City
GPT3-AHK
An AutoHotKey script that enables you to use GPT3 in any input field on your computer
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.
mpYALMIP-neos
An open-source interface to use the multiple-precision solver SDPA-GMP from NEOS server with YALMIP
OptimalMotionPrimitives
PORT-test-repository
Just for testing events
picnic-contracts
Picnic's solidity contracts. (formerly DeFi Basket)
htadashi's Repositories
htadashi/GPT3-AHK
An AutoHotKey script that enables you to use GPT3 in any input field on your computer
htadashi/CalculadoraCidadao.gs
Script para usar a Calculadora do Cidadão do Banco Central em planilhas do Google Sheets.
htadashi/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.
htadashi/bustabit_analyzer
A Google Spreadsheet for studying the statistics of Bustabit and simulating gambling strategies
htadashi/OptimalMotionPrimitives
htadashi/c4-common-issues
A collection of common security issues and possible gas optimizations in solidity smart contracts
htadashi/Franka-Emika-Panda-Animation
htadashi/mpYALMIP-neos
An open-source interface to use the multiple-precision solver SDPA-GMP from NEOS server with YALMIP
htadashi/space_medals
Achievement system for Ethernaut. Not affiliated, associated, authorized, endorsed by, or in any way officially connected with Ethernaut and OpenZeppelin.
htadashi/abc-ds
ABC-DS: obstacle Avoidance with Barrier-Certified polynomial Dynamical Systems
htadashi/arxiv-utils
Meaningful titles for tabs and PDF downloads! Also supports tab search.
htadashi/casados-integrators
A CasADi Python wrapper for the acados integrators.
htadashi/curve-pool-registry
On-chain registry and unified API for Curve.fi pools.
htadashi/dynamic_obstacle_avoidance
Closed-Form Algorithm for Dynamic Obstacle Avoidance
htadashi/eth-explorers-extension
Browser extension to open Ethereum addresses & transaction hash from any page on popular explorers + dashboards
htadashi/ethernaut
Web3/Solidity based wargame
htadashi/forta-agent-aave-challenge5
Forta Agent Development Contest - Challenge #5
htadashi/franka_analytical_ik_MEX
htadashi/htadashi
htadashi/htadashi.github.io
Personal web site
htadashi/learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
htadashi/metrics
📊 An infographics generator with 30+ plugins and 300+ options to display stats about your GitHub account and render them as SVG, Markdown, PDF or JSON!
htadashi/python-control
The Python Control Systems Library is a Python module that implements basic operations for analysis and design of feedback control systems.
htadashi/RACE
Readiness Assessment for CARE Endeavour
htadashi/robot_descriptions.py
Import robot descriptions as Python modules
htadashi/science-based-games-list
Science-based games - a collaborative list
htadashi/solidity
Solidity, the Smart Contract Programming Language
htadashi/SumOfSquares.jl
Sum of Squares Programming for Julia
htadashi/various_tools
Various tools from linear algebra to vector spaces to simplify and speed up computation.
htadashi/YALMIP
MATLAB toolbox for optimization modeling