Skip to content

Pull requests: cryspen/libcrux

New pull request New
18 Open 777 Closed
18 Open 777 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Panic freemdom for AVX2 and NEON SHA-3 backends
#1238 opened Nov 12, 2025 by Parrot7483 • Draft
@Parrot7483
Update Eurydice
#1237 opened Nov 12, 2025 by jschneider-bensch Loading…
impl Clone for generic structs.
#1227 opened Nov 4, 2025 by mmaker Loading…
ECDH primitive crate
#1195 opened Oct 2, 2025 by jschneider-bensch • Draft
3 tasks
CI: cargo check workspace, public items are documented
#1193 opened Oct 1, 2025 by keks • Draft
Start moving crates into subdirectories
#1189 opened Sep 30, 2025 by keks • Draft
1
DHKEM from ECDH trait
#1186 opened Sep 30, 2025 by jschneider-bensch • Draft
1
17
Test PR from a fork
#1171 opened Sep 23, 2025 by keks • Draft
2
Test PR from same repo
#1170 opened Sep 23, 2025 by keks • Draft
Add full type check for SHA3 portable
#1157 opened Sep 18, 2025 by Parrot7483 Loading…
@Parrot7483
51
benchmark comments
#1151 opened Sep 16, 2025 by franziskuskiefer • Draft
1
Digest: Public API (draft) stale
#1140 opened Sep 10, 2025 by wysiwys • Draft
4 of 5 tasks
@wysiwys
6
feat(docs): CONTRIBUTING.md: add guidelines for hax
#1126 opened Sep 3, 2025 by W95Psp Loading…
@karthikbhargavan
4
Refactor benchmarks to support comments too (but from a fork)
#1113 opened Aug 21, 2025 by keks • Draft
@keks
Refactor benchmarks to support comments too
#1112 opened Aug 21, 2025 by keks • Draft
@keks
2
Signature traits
#1080 opened Jul 23, 2025 by wysiwys Loading…
3 tasks done
1
@wysiwys
73
Mutable Style for ML-KEM keep-open
#954 opened May 9, 2025 by karthikbhargavan Loading…
1
@karthikbhargavan @jschneider-bensch
13
ML-KEM: AVX2 implementation of serialize_11 and deserialize_11. keep-open
#518 opened Aug 19, 2024 by xvzcf Loading…
@jschneider-bensch
2
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.