Kiana Sheibani toki · she/her

0 followers · 0 following

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

• The only programmer on the internet

• Joined on 2024-07-21

Repositories

19

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

advent-of-code-2024

Idris 0 0

Advent of Code 2024 solutions using Idris2

Updated 2024-12-09 02:30:20 -05:00

numidr

Idris 0 0

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

Updated 2024-11-19 22:04:38 -05:00

idris2-lens

Idris 0 0

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

Updated 2024-11-19 22:02:37 -05:00

idris2-ratio

Idris 0 0

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

Updated 2024-11-19 22:00:59 -05:00

idris2-profunctors

Idris 0 0

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

Updated 2024-11-19 21:59:10 -05:00

idris2-robotlib

Idris 0 0

Robot Kinematics Library for Idris 2

Updated 2024-07-21 07:15:16 -04:00

idris2-render

Idris 0 0

Updated 2024-07-21 06:46:18 -04:00