Skip to content
View silas-hw's full-sized avatar
🎯
Studying
🎯
Studying
10 followers · 22 following
  • studying

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Highlights

  • Pro

Block or report silas-hw

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
silas-hw/README.md

HELLO !!!

About Me

I'm a Computer Science student from Wales, currently studying at University of Nottingham.

  • Pronouns: she/they
  • Currently interested in: Computability & Complexity Theory, Type Theory, hardware programming, and retro computing
  • Current project: Port of Zarch for the SNES

Languages I Know

What I'm Learning

As well as Agda, lean3/4, 6502 asm, 65816 asm, and a little bit of ARM asm.

Tools I use

Tools

gif credit https://www.deviantart.com/blurredmirror/art/Pixel-Art-GIF-Cat-idle-689420264

Pinned Loading

  1. silas-hw.github.io silas-hw.github.io Public

    Blog Website Thing

    CSS

  2. AoC-25 AoC-25 Public

    My Advent of Code 25 solutions

    C

  3. hn25 hn25 Public

    HackNotts '25 Submission

    Assembly