Skip to content
View erengokirmak's full-sized avatar
🖐️
🖐️
12 followers · 13 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: YOLO

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: YOLO

Highlights

  • Pro

Block or report erengokirmak

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

Hello! I'm Şükrü Eren Gökırmak

My Interests

  • Zero-knowledge Proofs
  • Interactive Theorem Provers (such as Rocq and Lean)

How to Contact Me

You can contact me via:

  1. Email: sukruerengokirmak@gmail.com
  2. LinkedIn: /in/sukruerengokirmak

More information about me and some of my personal writings can be found at my website.

Pinned Loading

  1. erengokirmak-website erengokirmak-website Public

    The source code of my website, powered by Hugo

    Shell

  2. bahceden bahceden Public

    An Android application made under Bilkent University's CS102 course

    Java

  3. river-shell river-shell Public

    A limited implementation of a linux shell. The shell supports command calls with arguments and piping.

    Rust