Beast code in Giters

Ian Zhao's repositories

Python tool for grabbing text via screenshot

Language:PythonMIT1774 44 35

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

Language:TypeScriptMIT500

R5RS Scheme interpreter

Language:Rust300

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

Language:TypeScript200

A key-value store and TCP server

Language:C++MIT200

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Language:RustApache-2.0000

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

Language:C++000

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:TypeScript000

A Sudoku puzzle solver

Language:C++010