Parrot

I tried again to produce this error this in the playground. I could not reproduce it. I will start from the code in libcrux-sha3 and then simplify it step by...

Instead of some shell script shenanigans it maybe is a good idea to have `cargo hax` have a command that point to its own hax-lib. Something like `cargo hax --hax-lib-path`...

@franziskuskiefer I applied your feedback and also cherry-picked one commit from my AVX/NEON branch adding the correct precondition on the traits and doing some light refactoring (mainly having consistent names...

@franziskuskiefer I applied your review. cherry-picked https://github.com/cryspen/libcrux/pull/1157/commits/1064d0d2423630c0482d5d76039b38fe99214415 from SIMD branch. Merged main.

I have a tendency to pressing these big green buttons on github messing everything up. sorry.

Keeping the default behavior of using `.sparrow` makes sense. However, adding support for the XDG Base Directory Specification on Linux would be valuable for advanced users who prefer to follow...

Yes. As long as it is documented it is fine. Additionally, I could add the instructions to the [arch wiki XDG page](https://wiki.archlinux.org/title/XDG_Base_Directory#Supported) as well as [xdg-ninja](https://github.com/b3nj5m1n/xdg-ninja)