Pinned Repositories
HanTTS
Chinese Text-to-Speech web service
LambdaCalculus
Racket code to demonstrate lambda calculus concepts
PHPizza
PHPizza is an online pizza ordering website implemented with PHP, Laravel, and MySQL.
rkt-pacman
Pacman-like maze game written in Racket
ShareTango
P2P music sharing Android app
ThomsonOneDownloader
Automation for report downloading from the Thomson One database using Python and Selenium
V2EX
Android app for V2EX = Way to explore
junzew's Repositories
junzew/HanTTS
Chinese Text-to-Speech web service
junzew/LambdaCalculus
Racket code to demonstrate lambda calculus concepts
junzew/ShareTango
P2P music sharing Android app
junzew/ThomsonOneDownloader
Automation for report downloading from the Thomson One database using Python and Selenium
junzew/PHPizza
PHPizza is an online pizza ordering website implemented with PHP, Laravel, and MySQL.
junzew/algorithms
Implementation of algorithms and data structures
junzew/blog
junzew/cobol-programs
COBOL programs
junzew/coding-interview-university
A complete computer science study plan to become a software engineer.
junzew/covid-alert-app
Exposure notification client application / Application client de notification d'exposition
junzew/cpsc310-geolocation-ui
junzew/cpsc310-rest-demo-server
junzew/cpsc503-project-assignment
Coding assignment for CPSC 503 project
junzew/CS-Notes
:books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计、Java、Python、C++
junzew/cs317
Network programming projects: FTP client and server, DNS client
junzew/cs503-a4
junzew/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
junzew/datafruits
datafruits frontend app
junzew/do-not-touch-your-face
Warn you when you touch your face
junzew/game-of-life
Pygame Implementation of Conway's Game of Life that Runs in a Browser
junzew/incubator-brpc
Industrial-grade RPC framework used throughout Baidu, with 1,000,000+ instances and thousands kinds of services. "brpc" means "better RPC".
junzew/junzew.github.io
junzew/message-board
junzew/MindTheGap
junzew/semantic-fusion-seeds
Pre-categorized (sat/unsat) SMT-LIB benchmarks for Semantic Fusion
junzew/site-www
Source for Dart website
junzew/stat-406
Generates the student-facing Stat406 website
junzew/stringfuzz
Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
junzew/ubc-cpsc103-2019W2-files
UBC CPSC 103 Files Distributed to Students
junzew/yinyang
SMT Solver Testing Framework