Skip to content
View Axarva's full-sized avatar
🎯
Focusing
🎯
Focusing
209 followers · 38 following
  • University of Tsukuba
  • Tsukuba, Japan
  • 04:58 (UTC +09:00)

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Starstruckx3

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Starstruckx3

Highlights

  • Pro

Organizations

@hackclub @meracious

Block or report Axarva

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

A monad is a monoid in the cat-

No. A monad is a washing machine. Change my mind.

Pinned Loading

  1. dotfiles-2.0 dotfiles-2.0 Public

    XMonad™️. Widgets go brr.

    Shell 1.9k 159

  2. todo todo Public

    A simple todo list program in Haskell

    Haskell 10 2

  3. tint2-1 tint2-1 Public

    Forked from o9000/tint2

    Personal fork of the official repository at https://gitlab.com/o9000/tint2 with support for colors for unoccupied workspaces

    C 12 1

  4. pura-compiler pura-compiler Public

    A compiler project for 情報メディア特別演習 that implements the Pura language.

    Haskell 1