ianzhao05

Calgary, Alberta

Pinned Repositories

four-dice
A program to brute force permutations of numbers to create other numbers
Language:C++0 1 00
FPOP
Family Polymorphism for a proof assistant, an artifact. Paper : https://dl.acm.org/doi/10.1145/3591286
Language:Coq00
inventory
Inventory management web app. Next.js SSR, Prisma, PostgreSQL
Language:TypeScript0 1 00
listapp
A CRUD application built with React, Next.js, GraphQL, and PostgreSQL
Language:TypeScript4 1 00
myscheme
R5RS Scheme interpreter
Language:Rust4 1 00
sudoku-solver
A Sudoku puzzle solver
Language:C++0 1 00
textshot
Python tool for grabbing text via screenshot
Language:Python1.7k 45 33256
timeout
Progressive Web App built with Typescript and React that lets you create, manage, and track your workouts.
Language:TypeScript2 1 00
undis
A key-value store and TCP server
Language:C++2 1 00

ianzhao05's Repositories

ianzhao05/textshot
Python tool for grabbing text via screenshot
Language:Python1.7k 45 33256
ianzhao05/listapp
A CRUD application built with React, Next.js, GraphQL, and PostgreSQL
Language:TypeScript4 1 00
ianzhao05/myscheme
R5RS Scheme interpreter
Language:Rust4 1 00
ianzhao05/timeout
Progressive Web App built with Typescript and React that lets you create, manage, and track your workouts.
Language:TypeScript2 1 00
ianzhao05/undis
A key-value store and TCP server
Language:C++2 1 00
ianzhao05/four-dice
A program to brute force permutations of numbers to create other numbers
Language:C++0 1 00
ianzhao05/FPOP
Family Polymorphism for a proof assistant, an artifact. Paper : https://dl.acm.org/doi/10.1145/3591286
Language:Coq00
ianzhao05/inventory
Inventory management web app. Next.js SSR, Prisma, PostgreSQL
Language:TypeScript0 1 00
ianzhao05/sudoku-solver
A Sudoku puzzle solver
Language:C++0 1 00