Hello! Welcome to my profile. I am a control theory researcher and blockchain enthusiast.
htadashi Goto Github PK
Name: Tadashi
Type: User
Twitter: TadashiTech
Name: Tadashi
Type: User
Twitter: TadashiTech
ABC-DS: obstacle Avoidance with Barrier-Certified polynomial Dynamical Systems
ABCC-DS: obstacle Avoidance with Barrier-Certified Compositional polynomial Dynamical Systems
📅 AI 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.
A beautiful, simple, clean, and responsive Jekyll theme for academics
An Anki addon for automatically generating wallpapers containing the kanji tagged as learning (or a custom tag) in Anki notes.
Meaningful titles for tabs and PDF downloads! Also supports tab search.
A curated list of Unified Robot Description Format (URDF) libraries, tools and resources.
A Google Spreadsheet for studying the statistics of Bustabit and simulating gambling strategies
A collection of common security issues and possible gas optimizations in solidity smart contracts
Script para usar a Calculadora do Cidadão do Banco Central em planilhas do Google Sheets.
A CasADi Python wrapper for the acados integrators.
CircuiTikZ TeX/LaTeX package for drawing circuits
A preliminary analysis of Foursquare ratings of sushi restaurants at New York City
On-chain registry and unified API for Curve.fi pools.
This repository contains templates, manuals and scripts created at the Automation and Robotics Laboratory (LARA). It also contains data and open calls for projects and scholarships focused on LARA users and teams.
Closed-Form Algorithm for Dynamic Obstacle Avoidance
Browser extension to open Ethereum addresses & transaction hash from any page on popular explorers + dashboards
Web3/Solidity based wargame
Forta Agent Development Contest - Challenge #1
Forta Agent Development Contest - Challenge #5
An AutoHotKey script that enables you to use GPT3 in any input field on your computer
Personal web site
IPython widgets, interactive plots, interactive machine learning
Code documentation written as code! How novel and totally my idea!
📊 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!
An open-source interface to use the multiple-precision solver SDPA-GMP from NEOS server with YALMIP
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.