wtakuo Goto Github PK
Name: Takuo Watanabe
Type: User
Company: Tokyo Institute of Technology
Bio: Professor in the Department of Computer Science at the Tokyo Institute of Technology
Location: Tokyo
Name: Takuo Watanabe
Type: User
Company: Tokyo Institute of Technology
Bio: Professor in the Department of Computer Science at the Tokyo Institute of Technology
Location: Tokyo
A small actor-based language written in Common-Lisp
A simple visitor generator for Java
A simple buffer overflow vulnerability demo for IA-32
A REPL implementation of Emfrp, running on low power devices.
A Python Library for I2C Environmental Sensors
This project is for my personal Frama-C training.
Example Project for Workshop on Software Development
A famous number guessing game
Destructive list sorting functions in C taken from my textbook.
Some private ports for MacPorts
M5Stack Arduino Library
M5Stack ESP-IDF project template
A launchd daemon that fixes the mount mode of HDK-based mbeds
MicroPico (aka Pico-W-Go) is a Visual Studio Code extension designed to simplify and speed up the development of MicroPython projects for the Raspberry Pi Pico and Pico W boards.
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
MicroPython Libraries
new nakuron
OCamlbuild
A set of simple utilities for manipulating xv6-riscv file system images
Espressif 32: development platform for PlatformIO
A fault-aware model checker for message passing systems
Docker image for Spin model checker
List results of Google suggest API
Simple stack-based bytecode VM implementations used in my class
ATtiny85 Electronic Keyer
A JVML code analyzer/modifier
Python IDE for beginners
The Knights of the Lambda Calculus Logo
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.