tchajed/rocqd
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
6 commits 1 branch 0 tags 80 KiB
  • Rust 100%
Find a file
Exact
Tej Chajed 7084c08ebc
 Point to design.md
2026-04-23 08:49:40 -05:00
src Add initial rocqd implementation 2026-04-21 16:28:06 -05:00
tests Add initial rocqd implementation 2026-04-21 16:28:06 -05:00
.gitignore Add initial rocqd implementation 2026-04-21 16:28:06 -05:00
architecture.md Add initial rocqd implementation 2026-04-21 16:28:06 -05:00
Cargo.lock Add initial rocqd implementation 2026-04-21 16:28:06 -05:00
Cargo.toml Add initial rocqd implementation 2026-04-21 16:28:06 -05:00
design.md Manual tweaks to design 2026-03-05 21:54:22 -06:00
notes.md Update design docs 2026-03-05 21:50:20 -06:00
README.md Point to design.md 2026-04-23 08:49:40 -05:00
vsrocq-protocol.md Add initial rocqd implementation 2026-04-21 16:28:06 -05:00

README.md

rocqd

Caching daemon for rocq compile.

So far this is just initial exploration using Claude Code.

The best starting point is design.md.