Pinned Repositories
Academic-Writing
academic writing In NTHU 2018 spring
Acrobat-Portal
Acrobat web portal for users to more conveniently interact with Acrobat project
aili
the fastest in-memory index in the East 东半球最快并发索引
Archi2016_Project3
awesome-cheatsheets
👩💻👨💻 Awesome cheatsheets for popular programming languages, frameworks and development tools. They include everything you should know in one single file.
Awesome-CV
:page_facing_up: Awesome CV is LaTeX template for your outstanding job application
NTHU_OS_Assignment
These are the nthu os programming assigment
yanrujhou
Yan-Ru Jhou's Website
ruchou's Repositories
ruchou/aili
the fastest in-memory index in the East 东半球最快并发索引
ruchou/awesome-cheatsheets
👩💻👨💻 Awesome cheatsheets for popular programming languages, frameworks and development tools. They include everything you should know in one single file.
ruchou/B-tree-and-B-epsilon-tree-data-strcture
ruchou/Best-README-Template
An awesome README template to jumpstart your projects!
ruchou/chapar
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
ruchou/COVID-19
Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE
ruchou/cpp-cheatsheet
Modern C++ Cheatsheet
ruchou/CS231
UCLA CS231
ruchou/django-cheat-sheet
A cheat sheet for creating web apps with the Django framework.
ruchou/express-locallibrary-tutorial
Local Library website written in NodeJS/Express; example for the MDN server-side development NodeJS module: https://developer.mozilla.org/en-US/docs/Learn/Server-side/Express_Nodejs.
ruchou/grasshopper
An automated deductive program verifier.
ruchou/litmustestgen
Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)
ruchou/LSM
ruchou/modern-js-cheatsheet
Cheatsheet for the JavaScript knowledge you will frequently encounter in modern projects.
ruchou/OCamlLearnining
ruchou/option-markets
ruchou/play-slick
Slick Plugin for Play
ruchou/react-digraph
A library for creating directed graph editors
ruchou/react-resume-template
A personal resume website template built with ReactJs
ruchou/react_final
Created with CodeSandbox
ruchou/react_graph
Created with CodeSandbox
ruchou/react_graph_2
Created with CodeSandbox
ruchou/Rejuvenator
ruchou/RLearning
ruchou/Supreme_Acrobat
ruchou/SyGuS
ruchou/SySLite
SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces
ruchou/template-proofs
Template-based proofs of concurrent search structures.
ruchou/tinyfsm
A simple C++ finite state machine library
ruchou/todo-react
Sample todo app built with the React/ReactDOM framework.