Visualized CRDT executions in a web page to explain their semantics
☆17Nov 2, 2018Updated 7 years ago
Alternatives and similar repositories for crdt-visualizer
Users that are interested in crdt-visualizer are comparing it to the libraries listed below
Sorting:
- Proof‑aware payment rail on Base where transfers are gated by EAS attestations and ZK proofs for KYC, access and milestones.☆24Dec 9, 2025Updated 2 months ago
- send hypercore/hyperdrive stats over server-side events☆10Apr 10, 2018Updated 7 years ago
- An HTTP Proxy that archives all intercepted traffic.☆22Aug 26, 2014Updated 11 years ago
- TCP/UDP swarm on top of WebExtension's native messaging protocol☆14May 12, 2018Updated 7 years ago
- Peer-to-peer microblog with BeakerBrowser and dat_project, subscribe and follow other users☆16May 28, 2018Updated 7 years ago
- A library to work with CRDTs in rust☆16Dec 15, 2023Updated 2 years ago
- ☆16Jan 16, 2025Updated last year
- Wrapper around hypercore that supports encryption☆16Jul 9, 2020Updated 5 years ago
- Decentralized Edge Computing with IPFS + WASM + WASI☆20Nov 20, 2025Updated 3 months ago
- p2p anarchist real-time communication protocol using append-only logs☆21May 14, 2018Updated 7 years ago
- A semantically unified SQL and NoSQL query and update system☆18Jan 20, 2019Updated 7 years ago
- A quick file sharing mechanism using dat libraries.☆19Oct 11, 2017Updated 8 years ago
- Function that takes a hypercore and returns a new one that is signed by a new key pair but backed by the same data☆29May 19, 2020Updated 5 years ago
- DAGs on top of hypercore, allowing verified random-access to graph nodes☆23Oct 11, 2016Updated 9 years ago
- A dedicated Dat peer. Use DatLibrarian to store and peer many Dat archives. Similar to hypercore-archiver.☆25Sep 18, 2025Updated 5 months ago
- 📝 PeerPad core API (no UI)☆22May 1, 2025Updated 10 months ago
- Conflict-free Replicated Data Types for Rust☆22May 7, 2015Updated 10 years ago
- Kustomize bases for ipfs-cluster kubernetes deployment☆26Jul 17, 2019Updated 6 years ago
- Content content-addressable data feed☆25Mar 14, 2019Updated 6 years ago
- Node helper process for dat-fox☆29Dec 7, 2022Updated 3 years ago
- meta information about the PeachCloud project☆35Oct 26, 2021Updated 4 years ago
- Create two streams that are cross piped☆34Oct 12, 2018Updated 7 years ago
- libp2p Collaborative Notebook for Research☆38May 1, 2025Updated 10 months ago
- A Measurement-Driven Approach for System Software Engineers - Bilingual technical book (繁中/English) on benchmarking methodology, performa…☆24Jan 3, 2026Updated 2 months ago
- HTML based stats ui for hypercore/hyperdrive☆36Apr 10, 2018Updated 7 years ago
- Process Information for the Dat Protocol Working Group (Notes, Agenda, Members)☆40Dec 21, 2021Updated 4 years ago
- Cocos AI - Confidential Computing System for AI☆47Feb 19, 2026Updated 2 weeks ago
- DedupBench is a benchmarking tool for content-defined chunking techniques used in data deduplication. It currently supports eleven uniqu…☆22Feb 20, 2026Updated last week
- Tools and models for estimating Filecoin energy use from on-chain proofs☆11Jun 14, 2024Updated last year
- Redefining Video Management with power of SQL☆11Oct 15, 2023Updated 2 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- A Kubernetes NFS Operator based on Ansible Operator SDK☆11Sep 9, 2025Updated 5 months ago
- Python client for Nakadi☆11Jan 24, 2022Updated 4 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- ☆18Aug 19, 2022Updated 3 years ago
- Programming-teaching game inspired by Silent Teacher: http://silentteacher.toxicode.fr/hourofcode☆13Jan 7, 2020Updated 6 years ago
- materialized view to calculate back-references for unordered log messages☆10Jun 18, 2019Updated 6 years ago
- VSS: A Storage System for Video Analytics☆13Jul 9, 2021Updated 4 years ago
- Exámenes de programación funcional con Haskell☆10Jun 18, 2023Updated 2 years ago