Kiana Sheibani toki · she/her
0 followers · 0 following
Repositories
18
 Projects Packages Code Public activity Starred repositories
toki pushed to main at toki/templates 2024-07-21 06:49:30 -04:00
81ca8af870 Refactor derivation definitions
51a6ae01e1 Use pathExists instead of readDir
12733ba5c6 Fix primes bound on shell scripts
da579f08af Implement in shell scripts
4cd7275293 Fix bug in flake file
toki created repository toki/templates 2024-07-21 06:49:28 -04:00
toki created branch main in toki/rust-render 2024-07-21 06:49:07 -04:00
toki pushed to main at toki/rust-render 2024-07-21 06:49:07 -04:00
e2dd9f7e3a Fixed bounding sphere generation
cd94c7ad6f Fixed bug in plane intersection test
6d2a1407bf Update LICENSE
736c1e416c Add MIT License
68f158f3c9 Fix bugs
Compare 10 commits »
toki created repository toki/rust-render 2024-07-21 06:48:36 -04:00
toki created branch main in toki/nix-snes-templates 2024-07-21 06:47:52 -04:00
toki pushed to main at toki/nix-snes-templates 2024-07-21 06:47:52 -04:00
dae531ab5b Add lockfile to prevent rebuilds
9911cac59a Remove unnecessary name-selection
a444d0a429 Add include files
4bd2b38f2e Fix dev shell output
ee5d88c469 Add direnv support
toki created repository toki/nix-snes-templates 2024-07-21 06:47:49 -04:00
toki created branch main in toki/nix-haskell-template 2024-07-21 06:47:29 -04:00
toki pushed to main at toki/nix-haskell-template 2024-07-21 06:47:29 -04:00
c5db685c8a Change output schema
1917fbf881 Add explicit flake inputs
51f9b9244e Disallow broken packages
ff39f745a9 Add direnv support & gitignore
dd882e1ebc Initial commit
toki created repository toki/nix-haskell-template 2024-07-21 06:47:26 -04:00
toki created branch main in toki/idris2-robotlib 2024-07-21 06:46:56 -04:00
toki pushed to main at toki/idris2-robotlib 2024-07-21 06:46:56 -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 2024-07-21 06:46:53 -04:00
toki created branch main in toki/idris2-render 2024-07-21 06:46:18 -04:00
toki pushed to main at toki/idris2-render 2024-07-21 06:46:18 -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 2024-07-21 06:46:16 -04:00
toki created branch main in toki/idris2-ratio 2024-07-21 06:45:51 -04:00
toki pushed to main at toki/idris2-ratio 2024-07-21 06:45:51 -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 2024-07-21 06:45:51 -04:00