Skip to content

Pull requests: ib823/proof

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

Add RIINA UI and OS subsystems (phases 8–9)
#46 opened Mar 19, 2026 by ib823 Loading…
8 tasks done
Fix namespace declarations and add missing type annotations in Lean files
#45 opened Mar 19, 2026 by ib823 Loading…
5 tasks done
Replace DJB2 with FNV-1a hash and enhance CRDT merge
#44 opened Mar 19, 2026 by ib823 Loading…
5 tasks done
Implement pthread-based actor runtime with mailbox queuing
#41 opened Mar 18, 2026 by ib823 Loading…
5 tasks done
Implement JALINAN Phase 6: Actor system, choreography, CRDTs, and content-addressed hashing
#37 opened Mar 18, 2026 by ib823 Loading…
10 tasks done
Add Worker 4 formal proofs: Merkle DAG, content-addressed state, accessibility
#36 opened Mar 18, 2026 by ib823 Loading…
8 tasks done
Add formal verification of multiparty choreography types and projection
#32 opened Mar 18, 2026 by ib823 Loading…
6 tasks done
ProTip! What’s not been updated in a month: updated:<2026-02-20.