Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings
@tokinanpa
tokinanpa
Follow

Kiana Sheibani tokinanpa

Block or report tokinanpa

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

toki! 👋

Important

Most of my projects and repositories have been moved from here to my own site.

The repositories that remain here are mirrors of my bigger projects, or ones that I expect others to contribute to.

Popular repositories Loading

  1. numidr numidr Public

    Mirror of https://git.tokinanpa.dev/toki/numidr

    Idris 5

  2. idris2-lens idris2-lens Public

    Mirror of https://git.tokinanpa.dev/toki/idris2-lens

    Idris 3 1

  3. idris2-ratio idris2-ratio Public

    Mirror of https://git.tokinanpa.dev/toki/idris2-ratio

    Idris 2

  4. idris2-profunctors idris2-profunctors Public

    Mirror of https://git.tokinanpa.dev/toki/idris2-profunctors

    Idris

  5. StartRNR StartRNR Public

    Mirror of https://git.tokinanpa.dev/toki/StartRNR

    Rust

  6. eww eww Public

    Forked from elkowar/eww

    ElKowars wacky widgets

    Rust

AltStyle によって変換されたページ (->オリジナル) /