Skip to content

Pull requests: cryspen/libcrux

New pull request New
17 Open 711 Closed
17 Open 711 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

Bump actions/checkout from 4 to 5 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#1132 opened Sep 8, 2025 by dependabot bot • Queued
Bump actions/stale from 9 to 10 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#1131 opened Sep 8, 2025 by dependabot bot • Queued
speedup ci a little
#1130 opened Sep 5, 2025 by franziskuskiefer Loading…
@franziskuskiefer
2
feat(docs): CONTRIBUTING.md: add guidelines for hax
#1126 opened Sep 3, 2025 by W95Psp Loading…
@karthikbhargavan
3
Key-Centric API with Multiplexing Support
#1115 opened Aug 25, 2025 by keks Loading…
8 tasks done
2
@keks
20
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
1
Remove unsafe expression on safe AVX2 instructions
#1109 opened Aug 20, 2025 by Parrot7483 Loading…
@Parrot7483
5
[PSQ] Allow using Classic McEliece for PQ KEM
#1108 opened Aug 20, 2025 by jschneider-bensch • Draft
@jschneider-bensch
17
Add old C extraction configuration
#1096 opened Aug 14, 2025 by keks • Draft
@keks
4
Sha3 lax check
#1092 opened Aug 8, 2025 by Parrot7483 Loading…
@Parrot7483
56
Signature traits
#1080 opened Jul 23, 2025 by wysiwys • Draft
3 tasks done
1
@wysiwys
54
Add ML-KEM extraction for eurydice testing
#1072 opened Jul 21, 2025 by protz Loading…
3
[ML-KEM] Provide idiomatic Rust API & PQCP common API
#1012 opened Jun 5, 2025 by jschneider-bensch • Draft
5 of 16 tasks
1
@jschneider-bensch
1
mldsa: cleanup simd trait
#986 opened May 21, 2025 by franziskuskiefer Loading…
@karthikbhargavan
6
[WIP] Mutable Style for ML-KEM keep-open
#954 opened May 9, 2025 by karthikbhargavan • Draft
1
11
ML-KEM: AVX2 implementation of serialize_11 and deserialize_11. keep-open
#518 opened Aug 19, 2024 by xvzcf Loading…
@jschneider-bensch
2
ProTip! Mix and match filters to narrow down what you’re looking for.