Skip to content
View phijor's full-sized avatar

Highlights

  • Pro

Block or report phijor

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

Pinned Loading

  1. agda-cubical-multiset agda-cubical-multiset Public

    (Finite) multisets in Cubical Agda

    Agda 7

  2. ctru-rt ctru-rt Public

    A WIP runtime crate to run Rust usermode code on the Nintendo 3DS

    Rust 3

  3. metricq/metricq metricq/metricq Public

    🐼 A highly-scalable, distributed metric data processing framework based on RabbitMQ

    Shell 27 3

  4. ctroller ctroller Public archive

    Use your 3DS as a gamepad on linux

    C 40 12

  5. agda-index agda-index Public

    Poor man's Agda identifier indexing

    Rust 1

  6. fractalbot fractalbot Public

    Rust 1