Skip to content
View Eragoneq's full-sized avatar
📓
Studying
📓
Studying
7 followers · 11 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report Eragoneq

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

Hi there 👋

About Me

Finished my Computer Science (Cybersecurity) Master's degree at TU Delft in 2025.

Studied at ETH Zurich during the fall semester of 2022 as part of the exchange program.

Programming languages I worked with:

  • Java
  • Kotlin
  • Python 3
  • Javascript/Typescript
  • Haskell
  • Agda
  • C
  • C++
  • SQL
  • Bash

Want to learn soon:

  • Rust (started)
  • Zig
  • OCaml

Pinned Loading

  1. brp-agda-refactoring-mjozwik brp-agda-refactoring-mjozwik Public archive

    Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.

    Agda 1