Skip to content
View rodepanda7's full-sized avatar

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Highlights

  • Pro

Block or report rodepanda7

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

Popular repositories Loading

  1. test test Public

    Java

  2. bachelor-thesis bachelor-thesis Public

    TeX

  3. box-formalisation box-formalisation Public

    This repository contains all agda code for the formalisation of the boxed lambda calculus discussed in my bachelor's thesis

    TeX

  4. call-by-box call-by-box Public

    Agda

  5. final-presentation final-presentation Public

    TeX

  6. advent-of-code-2023 advent-of-code-2023 Public

    Python