Kiana Sheibani toki · she/her
0 followers · 0 following
Repositories
18
 Projects Packages Code Public activity Starred repositories
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 »
toki created branch main in toki/conways-game-of-life 2025-04-02 00:20:23 -04:00
toki created repository toki/conways-game-of-life 2025-04-02 00:20:21 -04:00
toki pushed to main at toki/templates 2025-04-02 00:19:24 -04:00
a3b53b180c style: modify the output of scripts
0e55a43863 fix(fish): fix improper prompt
ce6920a1d4 remove(python-nixpkgs): remove input check for consistency
a8a26921b4 Restructure everything
81ca8af870 Refactor derivation definitions
Compare 10 commits »
toki created branch main in toki/templates 2025-04-02 00:19:24 -04:00
toki created repository toki/templates 2025-04-02 00:19:22 -04:00
toki created branch main in toki/nixos-config 2025-04-02 00:16:51 -04:00