Skip to content
View AustinZhu's full-sized avatar
🎯
Focusing
🎯
Focusing

Organizations

@wasedatime @desoul-labs
Block or Report

Block or report AustinZhu

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
AustinZhu/README.md

Hi there πŸ‘‹ I'm AustinZhu


  • πŸ”­ I’m currently working on Web3/Backend/Infra development
  • 🌱 I’m currently learning latest AI tech
  • πŸ“« How to reach me: Twitter
  • πŸ˜„ Pronouns: He/Him

πŸ“Š GitHub Stats:


Pinned

  1. wasedatime/wasedatime-web wasedatime/wasedatime-web Public

    An unofficial web app for syllabus searching, classroom finding, and bus schedule checking at Waseda University.

    TypeScript 45 17

  2. wasedatime/wasedatime-backend wasedatime/wasedatime-backend Public

    Infrastructure configuration and serverless backend of WasedaTime

    Python 12 4

  3. IMP-lang IMP-lang Public

    An implementation of the IMP toy programming language in Haskell

    Haskell 5

  4. wasedatime/syllabus-scraper wasedatime/syllabus-scraper Public

    A high-performance web scraper for obtaining the syllabus of Waseda University.

    Python 3 1

  5. pl-demo pl-demo Public

    Haskell 1

  6. mintsql mintsql Public

    A lightweight in-memory SQL database written in Go

    Go