Skip to content

Pull requests: kim-em/hex-dev

New pull request New
22 Open 4,741 Closed
22 Open 4,741 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

poly-fast: add reusable interpolation plans
#9612 opened Aug 25, 2026 by kim-em Owner Loading…
feat(poly-fast): add certified multipoint evaluation
#9610 opened Aug 25, 2026 by kim-em Owner Loading…
Add balanced polynomial product trees
#9608 opened Aug 25, 2026 by kim-em Owner Loading…
Add four-point Kronecker multiplication
#9606 opened Aug 25, 2026 by kim-em Owner Loading…
Add reciprocal Kronecker multiplication
#9605 opened Aug 25, 2026 by kim-em Owner Loading…
Add two-point Kronecker multiplication
#9602 opened Aug 25, 2026 by kim-em Owner Loading…
Add cached Newton polynomial division
#9599 opened Aug 25, 2026 by kim-em Owner Loading…
Add clipped Karatsuba Newton reciprocals
#9598 opened Aug 25, 2026 by kim-em Owner Loading…
Implement generic fast polynomial multiplication
#9585 opened Aug 25, 2026 by kim-em Owner Loading…
feat(interval): emit version-zero initial evidence
#9535 opened Aug 24, 2026 by kim-em Owner Loading…
feat(interval): authenticate per-node literal powers
#9534 opened Aug 24, 2026 by kim-em Owner Loading…
feat(interval): add ordered bounds constructor
#9529 opened Aug 24, 2026 by kim-em Owner Loading…
1
ci: check Lean snippets in released READMEs
#9470 opened Aug 23, 2026 by kim-em Owner Loading…
docs: plan shared algebraic reflection
#9437 opened Aug 22, 2026 by kim-em Owner Loading…
doc: point the packed-matrix prototype report at its implementation
#9163 opened Aug 4, 2026 by kim-em Owner Loading…
Exercise arbitrary function replay with sine oddness
#9079 opened Jul 29, 2026 by kim-em Owner • Draft
Prove arbitrary propagator traces over caller programs
#9078 opened Jul 29, 2026 by kim-em Owner • Draft
Add proof-producing policy sessions
#9071 opened Jul 29, 2026 by kim-em Owner • Draft
Register package-owned interval replay formats
#9040 opened Jul 28, 2026 by kim-em Owner • Draft
Bind interval packages to proof payload sessions
#9038 opened Jul 28, 2026 by kim-em Owner • Draft
interval: replay rational arithmetic edges
#8951 opened Jul 27, 2026 by kim-em Owner • Draft
interval: budget canonical-table gcd work
#8950 opened Jul 27, 2026 by kim-em Owner • Draft
ProTip! Type g i on any issue or pull request to go back to the issue listing page.