Beast code in Giters

Ian Zhao's repositories

Python tool for grabbing text via screenshot

Language:PythonMIT1679 46 33

A CRUD application built with React, Next.js, GraphQL, and PostgreSQL

Language:TypeScriptMIT4 10

R5RS Scheme interpreter

Language:Rust4 10

Progressive Web App built with Typescript and React that lets you create, manage, and track your workouts.

Language:TypeScript2 10

A key-value store and TCP server

Language:C++MIT2 10

A program to brute force permutations of numbers to create other numbers

Language:C++010

Family Polymorphism for a proof assistant, an artifact. Paper : https://dl.acm.org/doi/10.1145/3591286

Language:CoqMIT000

Inventory management web app. Next.js SSR, Prisma, PostgreSQL

Language:TypeScript010

A Sudoku puzzle solver

Language:C++010