Skip to content

Pull requests: kim-em/hex-dev

New pull request New
33 Open 4,646 Closed
33 Open 4,646 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…
Document HexTruncatedSeries for Phase 7
#9604 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
test: add the BZMathlib conformance module and proof-track probe suite
#9504 opened Aug 24, 2026 by kim-em Owner Loading…
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…
perf: build the disambiguation eliminant as a double resultant
#9432 opened Aug 22, 2026 by kim-em Owner Loading…
1
bench: add the number-field pair's Phase-4 ladders, PARI comparator, and declarations
#9424 opened Aug 22, 2026 by kim-em Owner Loading…
refactor: move the integer row-lattice vocabulary to hex-matrix
#9245 opened Aug 14, 2026 by kim-em Owner • Draft
1
feat(interval): certify bounded raster graphs
#9235 opened Aug 11, 2026 by kim-em Owner • Draft
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
ProTip! no:milestone will show everything without a milestone.