Kiana Sheibani toki · she/her
0 followers · 0 following
Projects Packages Code Public activity Starred repositories
74 contributions in the last 12 months
MayJunJulAugSepOctNovDecJanFebMarAprMonWedFri
Less
More
toki pushed to main at toki/StartRNR 2025-04-02 00:27:41 -04:00
bc02daae5f feat: paging support for player list
c2b4c5a6bf feat: add full player listing command
9b21944624 refactor: factor out player info display code
9cd8d77753 refactor: separate command subroutines into submodules
e644f96648 fix: resolve inconsistent name of dataset option
Compare 10 commits »
toki created branch main in toki/StartRNR 2025-04-02 00:27:41 -04:00
toki created repository toki/StartRNR 2025-04-02 00:27:38 -04:00
toki created branch main in toki/rust-render 2025-04-02 00:27:08 -04:00
toki pushed to main at toki/rust-render 2025-04-02 00:27:08 -04:00
f0c8dae74c refactor: use Option to bypass bounding sphere system
878f7c9ebb style: stop renaming external crate
f33ee09b9d refactor: rename types.rs to util.rs
763a4ff923 refactor: use 64-bit types instead of 32-bit
9879184d47 feat: add nix build infrastructure
Compare 10 commits »
toki created repository toki/rust-render 2025-04-02 00:26:12 -04:00
toki pushed to main at toki/idris2-robotlib 2025-04-02 00:25:51 -04:00
63a906e4c4 Give joint properties better names
0a7e716ec5 Add more arm element constructors
6ee20dca0f Add inline documentation
93beffe52e Add README
0c59f16920 Factor out joint limits
toki created branch main in toki/idris2-robotlib 2025-04-02 00:25:51 -04:00
toki created repository toki/idris2-robotlib 2025-04-02 00:25:49 -04:00
toki created branch main in toki/idris2-render 2025-04-02 00:25:39 -04:00
toki pushed to main at toki/idris2-render 2025-04-02 00:25:39 -04:00
2628b42a54 Fix rendering bugs
68a401fa1d Add NumIdr as a dependency
f5edad4b66 Add Rectangle object
fb18cce4ec Refactor code that was causing massive slowdown
ef52a8f702 Add PPM image exporting
Compare 10 commits »
toki created repository toki/idris2-render 2025-04-02 00:25:38 -04:00
toki pushed tag v1.0.0 to toki/idris2-ratio 2025-04-02 00:25:32 -04:00
toki pushed to main at toki/idris2-ratio 2025-04-02 00:25:32 -04:00
1bdfde80d7 Fix module not added to ipkg
d19ae136f7 Add brief description
52eb83594b Rearrange sections of Data.Ratio module
e21b81b965 Make inequality comparison slightly more efficient
80e43be8fc Add casting implementations
Compare 10 commits »
toki created branch main in toki/idris2-ratio 2025-04-02 00:25:32 -04:00
toki created repository toki/idris2-ratio 2025-04-02 00:25:29 -04:00
toki created branch main in toki/idris2-profunctors 2025-04-02 00:25:07 -04:00
toki pushed to main at toki/idris2-profunctors 2025-04-02 00:25:07 -04:00
e862ef887f Update ipkg
3c87261627 Prefer using Prelude.id over Identity
5b55d39ab5 Refactor Data.Profunctor.Mapping
68ef29160f Change visibility on everything to public export
573c461d9b Add brief package description
Compare 10 commits »
toki pushed tag v1.0.0 to toki/idris2-profunctors 2025-04-02 00:25:07 -04:00
toki pushed tag v1.1.0 to toki/idris2-profunctors 2025-04-02 00:25:07 -04:00