Kiana Sheibani toki · she/her
0 followers · 0 following
Repositories
18
 Projects Packages Code Public activity Starred repositories
toki created branch main in toki/numidr 2025-04-02 00:24:52 -04:00
toki pushed tag v0.2.0 to toki/numidr 2025-04-02 00:24:52 -04:00
toki pushed tag v0.1.0 to toki/numidr 2025-04-02 00:24:52 -04:00
toki pushed to reps at toki/numidr 2025-04-02 00:24:52 -04:00
4eb0c27203 Update ipkg
toki created branch reps in toki/numidr 2025-04-02 00:24:52 -04:00
toki pushed to main at toki/numidr 2025-04-02 00:24:52 -04:00
bd1eee1366 Various guide edits
8903575d8b Fix various guide issues
d8c22d7ed6 Make WithEpsilon named implementations generic
f6809697e8 Replaces uses of elements with toVect
598e60c2da Allow One in non-safe ranged indexing
Compare 10 commits »
toki created repository toki/numidr 2025-04-02 00:24:50 -04:00
toki pushed tag v0.2.0 to toki/idris2-lens 2025-04-02 00:24:45 -04:00
toki pushed tag v0.3.0 to toki/idris2-lens 2025-04-02 00:24:45 -04:00
toki pushed to main at toki/idris2-lens 2025-04-02 00:24:45 -04:00
da8f3a05e6 Fix typo
60231f4a2b Add export declaration to fixities
6d7153496d Merge pull request #2 from crumbtoo/main
61acb58a22 Derive lenses without prefix_record_projections
253467ebae Fix definition of elemOf
Compare 10 commits »
toki created branch main in toki/idris2-lens 2025-04-02 00:24:45 -04:00
toki pushed tag v0.1.0 to toki/idris2-lens 2025-04-02 00:24:45 -04:00
toki created repository toki/idris2-lens 2025-04-02 00:24:42 -04:00
toki created branch main in toki/advent-of-code-2024 2025-04-02 00:24:32 -04:00
toki pushed to main at toki/advent-of-code-2024 2025-04-02 00:24:32 -04:00
68a806b291 feat: part 8-2
b10afe5239 feat: part 8-1
22423f6cf6 refactor: Data.Vect.range -> Data.List.allFins
3826a13244 feat: part 7-2
b4391bec86 refactor: remove totality assertion
Compare 10 commits »
toki created repository toki/advent-of-code-2024 2025-04-02 00:24:30 -04:00
toki pushed to main at toki/snake 2025-04-02 00:24:09 -04:00
b885d70549 Switch to flake-parts based flake
65d257d4ad Overhaul event handling
35e68719cb Add display to pause screen
a6a70e5dca Add true randomness
7c61ddb24f Update dependencies
Compare 10 commits »
toki created branch main in toki/snake 2025-04-02 00:24:08 -04:00
toki created repository toki/snake 2025-04-02 00:24:06 -04:00
toki pushed to main at toki/conways-game-of-life 2025-04-02 00:20:23 -04:00
85dc1735b8 Remove unnecessary dependencies
edb65814cd Disallow broken packages
a3e2ea6e86 Add slightly more informative comment
adb081fd22 Switch flake.nix architecture
6c3742e148 Name
Compare 10 commits »