Skip to content
View porkboi's full-sized avatar
9 followers · 3 following

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Block or report porkboi

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
porkboi/README.md

Hi there 👋

I am Christian Ang, a Math/CS Major at CMU! 🎓

🛠️ Languages & Tools

Programming Languages

Python Typescript Javascript HTML CSS C Go Rust Git

Frameworks, Libraries, & Tools

React.js Next.js Supabase Vercel Google Cloud Platform
Scikit-Learn PyTorch TensorFlow
Linux

🚀 Projects

  • 📱 CMISOMER
    CMU-wide ticketing app with 1000+ users, scaling database using Go

  • 🔬 apduSIM
    Open-source SIM analysis tool

🧪 Research

  • 📖 ArkLib — a library for zero knowledge proofs in Lean4

💡 Pre-seed Startups

Pinned Loading

  1. CMIsomer CMIsomer Public

    Open Source Party Management App at CMU

    TypeScript 1

  2. ZKLib ZKLib Public

    Forked from Verified-zkEVM/ArkLib

    Formally Verified SNARKs in Lean

    Lean

  3. ScottyLabs/cmucourses ScottyLabs/cmucourses Public

    CMU Courses

    TypeScript 17 44

  4. apduSIM apduSIM Public

    Send APDU to SIM Card using Bus pirate v5

    Roff 1 1