Ruanqianqian (Lisa) Huang's repositories
chinese-text-processing
Processes chats on Sina Weibo - filters out emojis & emoticon, user names, redundant punctuations & spaces and special symbols.
rlisahuang.github.io
Personal page
vscode
Visual Studio Code
z3guide
Tutorials and courses for Z3
connect-four
A Pure JavaScript grid-based game
create-react-native-app
Create a React Native app on any OS with no build config.
duckling
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
hackathon-starter
A boilerplate for Node.js web applications
JavaScript30
30 Day Vanilla JS Challenge
memory-game
JavaScript, HTML and CSS grid-based game
minted
minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.
monaco-editor
A browser based code editor
plagiarism-detector
small project from 2018
shopping-cart-javascript
Shopping Cart in JavaScript
Vanilla-JavaScript-Calculator
Pure vanilla JavaScript calculator using modern ES6 syntax and classes
z3
The Z3 Theorem Prover