Kiana Sheibani toki · she/her
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 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 created branch main in 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 pushed tag v1.0.0 to 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 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
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 created branch main in toki/idris2-profunctors 2025-04-02 00:25:07 -04:00
toki created repository toki/idris2-profunctors 2025-04-02 00:25:04 -04:00
toki pushed to reps at toki/numidr 2025-04-02 00:24:52 -04:00
4eb0c27203 Update ipkg
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 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 branch main in toki/numidr 2025-04-02 00:24:52 -04:00