Kiana Sheibani toki · she/her

0 followers · 0 following

• Atlanta, GA, US
• https://tokinanpa.dev/

• The only programmer on the internet

• Joined on 2025-04-01

Projects Packages Code Public activity Starred repositories

Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

idris2-lens

Idris 0 0

Profunctor lenses in Idris2 | GitHub Mirror: https://github.com/tokinanpa/idris2-lens

Updated 2025-04-03 00:06:19 -04:00

idris2-ratio

Idris 0 0

Simple ratio library for Idris2 | GitHub Mirror: https://github.com/tokinanpa/idris2-ratio

Updated 2025-04-02 00:41:15 -04:00

idris2-profunctors

Idris 0 0

Profunctors in Idris2 | GitHub Mirror: https://github.com/tokinanpa/idris2-profunctors

Updated 2025-04-02 00:36:22 -04:00

numidr

Idris 0 0

Linear algebra library for Idris2 | GitHub Mirror: https://github.com/tokinanpa/numidr

Updated 2025-04-02 00:34:28 -04:00

advent-of-code-2024

Idris 0 0

My Advent of Code 2024 solutions, written in Idris2 (incomplete)

Updated 2025-04-02 00:31:04 -04:00

idris2-robotlib

Idris 0 0

Updated 2025-04-02 00:25:51 -04:00

idris2-render

Idris 0 0

Updated 2025-04-02 00:25:39 -04:00