Skip to content

Pull requests: lalalune/ArkLib

New pull request New
15 Open 320 Closed
15 Open 320 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

research(proximity): add G139 accident census probe
#526 opened Aug 3, 2026 by coopertweak Loading…
1
research(proximity): G246 family — degree-2 Krylov obstruction HOLDS at n=16 (stdlib)
#525 opened Aug 3, 2026 by sharkwon Loading…
1
research(proximity): G246 follow-up — pin nonzero 4-row minor at second cell (stdlib)
#524 opened Aug 3, 2026 by sharkwon Loading…
1
research(proximity): add G316 dyadic depth-3 wall floor (naive cap, exact)
#523 opened Aug 1, 2026 by shane9coy Loading…
8
research(proximity): add G318 n64 rank-six norm guard
#522 opened Aug 1, 2026 by OxBenji Loading…
2
research(proximity): add G317 n64 rank-five targeted audit
#521 opened Aug 1, 2026 by OxBenji Loading…
2
research(proximity): add G316 antipodal closed formula
#520 opened Aug 1, 2026 by OxBenji Loading…
1
research(proximity): add G315 n32 antipodal live-rank audit
#519 opened Aug 1, 2026 by OxBenji Loading…
1
research(proximity): add G314 antipodal relation model
#518 opened Aug 1, 2026 by OxBenji Loading…
1
research(proximity): add G313 all-rank scale audit
#517 opened Aug 1, 2026 by OxBenji Loading…
1
research(proximity): add G312 carry scale audit
#516 opened Aug 1, 2026 by OxBenji Loading…
1
research(proximity): add G311 dilation-anchor scale audit
#515 opened Aug 1, 2026 by OxBenji Loading…
1
research(proximity): add G310 tail-floor scale audit
#514 opened Aug 1, 2026 by OxBenji Loading…
1
ci: checkpoint Lean builds by topological stage
#513 opened Jul 22, 2026 by lalalune Owner Loading…
research(proximity): campaign integration ledger
#503 opened Jul 10, 2026 by lalalune Owner • Draft
ProTip! What’s not been updated in a month: updated:<2026-07-04.