-
PHPizza Public
PHPizza is an online pizza ordering website implemented with PHP, Laravel, and MySQL.
-
-
-
HanTTS Public archive
Chinese Text-to-Speech web service
-
-
cpsc503-project-assignment Public
Coding assignment for CPSC 503 project
Python UpdatedDec 16, 2020 -
-
-
yinyang Public
Forked from testsmt/yinyangSMT Solver Testing Framework
Python MIT License UpdatedNov 1, 2020 -
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
SMT Other UpdatedOct 30, 2020 -
semantic-fusion-seeds Public
Forked from testsmt/semantic-fusion-seedsPre-categorized (sat/unsat) SMT-LIB benchmarks for Semantic Fusion
UpdatedOct 26, 2020 -
ShareTango Public
P2P music sharing Android app
-
LambdaCalculus Public
Racket code to demonstrate lambda calculus concepts
-
stat-406 Public
Forked from UBC-STAT/stat-406Generates the student-facing Stat406 website
HTML UpdatedSep 27, 2020 -
incubator-brpc Public
Forked from apache/brpcIndustrial-grade RPC framework used throughout Baidu, with 1,000,000+ instances and thousands kinds of services. "brpc" means "better RPC".
C++ Apache License 2.0 UpdatedSep 18, 2020 -
ThomsonOneDownloader Public
Automation for report downloading from the Thomson One database using Python and Selenium
-
-
covid-alert-app Public
Forked from cds-snc/covid-alert-appExposure notification client application / Application client de notification d'exposition
TypeScript Apache License 2.0 UpdatedAug 13, 2020 -
CS-Notes Public
Forked from CyC2018/CS-Notes📚 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计、Java、Python、C++
Java UpdatedJul 18, 2020 -
-
stringfuzz Public
Forked from dblotsky/stringfuzzFuzzer and generator for string and regex problems in SMT-LIB 2.x format.
Python Other UpdatedJul 3, 2020 -
game-of-life Public
Pygame Implementation of Conway's Game of Life that Runs in a Browser
HTML UpdatedJun 20, 2020 -
datafruits Public
Forked from datafruits/datafruitsdatafruits frontend app
JavaScript UpdatedJun 2, 2020 -
site-www Public
Forked from dart-lang/site-wwwSource for Dart website
JavaScript Other UpdatedMay 27, 2020 -
-
coding-interview-university Public
Forked from jwasham/coding-interview-universityA complete computer science study plan to become a software engineer.
Creative Commons Attribution Share Alike 4.0 International UpdatedMay 3, 2020 -
ubc-cpsc103-2019W2-files Public
Forked from napoleon351/ubc-cpsc103-2019W2-filesUBC CPSC 103 Files Distributed to Students
Jupyter Notebook UpdatedApr 23, 2020 -
-
cpsc310-rest-demo-server Public
Forked from aahung/cpsc310-rest-demo-server -
cpsc310-geolocation-ui Public
Forked from aahung/cpsc310-geolocation-ui
{{ message }}