Skip to content
View Apiros3's full-sized avatar
💤
Sleeping and working
💤
Sleeping and working
19 followers · 34 following

Achievements

Achievement: Pull SharkAchievement: YOLOAchievement: Public Sponsor

Achievements

Achievement: Pull SharkAchievement: YOLOAchievement: Public Sponsor

Block or report Apiros3

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
Apiros3/README.md

✧Welcome✧

Research Interests:

  • Interactive Theorem Proving
  • Dependent Type Theory
  • Algorithms & Optimizaton

and related fields

Language List (Public Repo):

Top Langs

I can use (to a variety of extents):

C++ / JavaScript / Scala / Haskell / Lean / Python / Ruby / Java / Brainfuck (/ HTML / CSS / YAML)

I want to learn:

C / C# / Rust / Assembly / TypeScript / Go / SQL / Perl / PHP / Swift / COBOL (/MATLAB / R)

REPO CHECK:

AtCoder Daily Problemset Rating / Contest Update Contest List Webhook

Visitor Count:

Visitor Count

Pinned Loading

  1. Apiros3.github.io Apiros3.github.io Public

    Host for personal portfolio alongside interactive projects rewritten in JS including an othello AI and a SIR model simulation

    HTML

  2. random-question-bot random-question-bot Public

    Discord bot system that sends a daily AtCoder problem set with a variety of difficulty, and also responds with a question in a difficulty range the user requests for on the same channel.

    Python

  3. library library Public

    C++