Skip to content
View Afra0704's full-sized avatar
0 followers · 2 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Highlights

  • Pro

Block or report Afra0704

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Afra0704/README.md

Hi 👋, I'm Afra

CS student from Taiwan

About Me

  • Currently building personal projects with Java / JavaFX
  • Interested in exploring Lean for mathematics and formal verification
  • Planning to further explore AI chip design and related hardware systems

Connect with me

Languages

Frameworks / Libraries

KerasUnityJavaFXFXML

Tools / Platforms

Other Skills

x86 AssemblyVHDL

Pinned Loading

  1. AIChipDesign AIChipDesign Public

    Python

  2. tldr-pages/tldr tldr-pages/tldr Public

    Collaborative cheatsheets for console commands 📚.

    Markdown 62.4k 5.2k

  3. JabRef/jabref JabRef/jabref Public

    Graphical Java application for managing BibTeX and BibLaTeX (.bib) databases

    Java 4.3k 3.4k

  4. lingdojo/kana-dojo lingdojo/kana-dojo Public

    Aesthetic, minimalist platform for learning Japanese inspired by Duolingo and Monkeytype, built with Next.js and sponsored by Vercel. Beginner-friendly with plenty of good first issues - all contri…

    TypeScript 2.2k 1.8k