junzew

HanTTS

Chinese Text-to-Speech web service

LambdaCalculus

Racket code to demonstrate lambda calculus concepts

ShareTango

P2P music sharing Android app

ThomsonOneDownloader

Automation for report downloading from the Thomson One database using Python and Selenium

PHPizza

PHPizza is an online pizza ordering website implemented with PHP, Laravel, and MySQL.

algorithms

Implementation of algorithms and data structures

blog

cobol-programs

COBOL programs

coding-interview-university

A complete computer science study plan to become a software engineer.

covid-alert-app

Exposure notification client application / Application client de notification d'exposition

cpsc310-geolocation-ui

cpsc310-rest-demo-server

cpsc503-project-assignment

Coding assignment for CPSC 503 project

CS-Notes

:books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计、Java、Python、C++

cs317

Network programming projects: FTP client and server, DNS client

cs503-a4

CVC4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

datafruits

datafruits frontend app

do-not-touch-your-face

Warn you when you touch your face

game-of-life

Pygame Implementation of Conway's Game of Life that Runs in a Browser

incubator-brpc

Industrial-grade RPC framework used throughout Baidu, with 1,000,000+ instances and thousands kinds of services. "brpc" means "better RPC".

junzew.github.io

message-board

MindTheGap

semantic-fusion-seeds

Pre-categorized (sat/unsat) SMT-LIB benchmarks for Semantic Fusion

site-www

Source for Dart website

stat-406

Generates the student-facing Stat406 website

stringfuzz

Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.

ubc-cpsc103-2019W2-files

UBC CPSC 103 Files Distributed to Students

yinyang

SMT Solver Testing Framework