Name: Tatsuhiro Tsuchiya
Type: User
Company: Osaka University
Bio: Researcher at Osaka University
Location: Osaka, Japan
a-gentle-introduction-to-computer-algorithms
bitcoinbook
Mastering Bitcoin 2nd Edition - Programming the Open Blockchain
bounded-model-checker-for-petri-nets
Bounded model checker for petri nets. It uses a SAT solver. The idea is presented at ATVA 2004.
cit-bach
concurrentsystems
consensus-verification
This repository store resources related to our project on model checking of consensus algorithms.
covering-array-construction-with-zdds
cypher-mutator
easy-bughunting
gakumon
k-most-vulnerble-nodes
ktk
Covering array generator for combinatorial testing
pyxel
A retro game engine for Python
sa4la
Simulated annealing for obtaining locating arrays
saffron-2.0
Saffron is a preprocessor which serves as a front end for Sat4j. Saffron is to Sat4j as a higher level language is to an assembler. The user expresses his/her problem by writing a Java application using the Saffron API. When the application is run, Saffron creates a corresponding SAT problem, then applies the Sat4j API to find a solution. The Sat4j solution is analyzed by Saffron, and the bit assignments provided by Sat4j are used to construct the solution values of the original problem.
sentan
solidity-jp
syrel
tatsuhirotsuchiya
Config files for my GitHub profile.
tatsuhirotsuchiya.github.io
React
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
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
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.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ā¤ļø Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
