FTRobbin
TankEngineer on Codeforces. Ph.D. from Cornell. Postdoc at UW. Does programing language research. これでみんなハッピーハッピだよ
University of Washington, Seattle, WA
Pinned Repositories
eggcc
egglog
egraphs + datalog!
awesome-vyperflow-bootcamp
A curated list of example VyperFlow contracts for IC3 Bootcamp 18
dag-rnn
Recursive Neural Network on Directed Acyclic Graph in Tensorflow
Dreadnought-Standard-Code-Library
Standard Code Library of the ACM-ICPC team SJTU Dreadnought(15.07-16.05) for World Finals 2016
Edelweiss
A lightweight consensus protocol simulator.
here-there-rocq
Ironwood
A Correct-by-Construction Blockchain Protocol Implementation
LoliCCompiler
A C compiler project back to 2015 Spring.
harmony
A Python-like programming language for testing and experimenting with concurrent programs.
FTRobbin's Repositories
FTRobbin/Dreadnought-Standard-Code-Library
Standard Code Library of the ACM-ICPC team SJTU Dreadnought(15.07-16.05) for World Finals 2016
FTRobbin/Edelweiss
A lightweight consensus protocol simulator.
FTRobbin/awesome-vyperflow-bootcamp
A curated list of example VyperFlow contracts for IC3 Bootcamp 18
FTRobbin/Ironwood
A Correct-by-Construction Blockchain Protocol Implementation
FTRobbin/dag-rnn
Recursive Neural Network on Directed Acyclic Graph in Tensorflow
FTRobbin/LoliCCompiler
A C compiler project back to 2015 Spring.
FTRobbin/here-there-rocq
FTRobbin/Awesome-CV
:page_facing_up: Awesome CV is LaTeX template for your outstanding job application
FTRobbin/STV
FTRobbin/Cappuchino
FTRobbin/coffeegen
A simple generator of simple CoffeeScript code
FTRobbin/CrowdTrack
Database Systems for ACM Class 2016, Project A
FTRobbin/DDSWD
Domain Dependent Sentiment Words Detection
FTRobbin/eggcc
FTRobbin/egos-2000
Envision a future where every student can read all the code of a teaching operating system.
FTRobbin/Ginkgo
For CS6410 MVBCoin Mini Project
FTRobbin/GithubCrawler
This simple crawler accesses Github APIs to get the repositories available in public on Github then stores it in a local MySQL database.
FTRobbin/GithubLiveStatistics
A Java-based system for efficient Github Crawling.
FTRobbin/ImageTransformation
Batch Image Transformation
FTRobbin/lveq
FTRobbin/pyethereum
Next generation cryptocurrency network
FTRobbin/sherrloc
SHErrLoc constraint solver and error localizer
FTRobbin/StratagemHeroOnlineDrillMode
FTRobbin/streisand
Streisand sets up a new server running L2TP/IPsec, OpenConnect, OpenSSH, OpenVPN, Shadowsocks, sslh, Stunnel, a Tor bridge, and WireGuard. It also generates custom instructions for all of these services. At the end of the run you are given an HTML file with instructions that can be shared with friends, family members, and fellow activists.
FTRobbin/tensorflow-cstudycase1
てんさふろう〜いち