index
:
pure
master
Verified execution runtime unifying state, persistence, and replication.
Yeowoo Labs
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
docs
/
research
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
Deliver an app's saved sends over HTTP, in order and in batches (083)
eunhhu
2026-09-27
2
-2
/
+75
*
Send messages as part of events and apply delivered ones once (078)
eunhhu
2026-09-27
1
-3
/
+4
*
Record the bound of taking tail growth and compaction off commits (081)
eunhhu
2026-09-27
1
-3
/
+5
*
Read JSON bodies in place, groups included (082)
eunhhu
2026-09-27
1
-0
/
+78
*
Write each commit's head just before its bytes: one range per sync (081)
eunhhu
2026-09-26
1
-0
/
+104
*
Show views from the last save's snapshot on connection threads (080)
eunhhu
2026-09-26
1
-0
/
+135
*
Lend a text state's stored extents for its view (079)
eunhhu
2026-09-26
1
-0
/
+52
*
Design connections between apps (078), not yet built
eunhhu
2026-09-26
1
-0
/
+80
*
Record the app service against axum and drogon (077)
eunhhu
2026-09-26
1
-0
/
+93
*
Record why the remaining store ideas wait
eunhhu
2026-09-26
1
-3
/
+16
*
Compare the HTTP host with drogon and by CPU time
eunhhu
2026-09-26
1
-0
/
+36
*
Make a tree store commit durable with one sync
eunhhu
2026-09-26
3
-1
/
+160
*
Lend stored extents to reads instead of copying them
eunhhu
2026-09-26
1
-0
/
+22
*
Shard pure-serve across cores
eunhhu
2026-09-26
1
-0
/
+27
*
Serve modules over persistent connections
eunhhu
2026-09-26
1
-0
/
+23
*
Benchmark the HTTP hosts against axum
eunhhu
2026-09-26
1
-0
/
+54
*
Make the local Pi the verification device
eunhhu
2026-09-25
1
-2
/
+3
*
Let the runtime own working versions as drafts
eunhhu
2026-09-25
2
-5
/
+102
*
Add selected single-file persistent tree store
eunhhu
2026-09-25
1
-0
/
+126
*
Verify paged document app under 4 KiB AArch64 kernel
eunhhu
2026-09-24
2
-0
/
+33
*
Admit aligned OS pages in selected paged store
eunhhu
2026-09-24
1
-0
/
+36
*
Establish native micro runtime checkpoint
eunhhu
2026-09-24
71
-0
/
+6081
[prev]