RhizomeDB / researchLinks
☆18Updated 2 years ago
Alternatives and similar repositories for research
Users that are interested in research are comparing it to the libraries listed below
Sorting:
- ☆116Updated 2 years ago
- An open-source database inspired by Datomic☆31Updated 2 years ago
- Lisp implementation of Lurk.☆78Updated last year
- LensVM specifications and ABI definition☆12Updated 4 years ago
- Some CRDT implementations in Datalog☆18Updated 7 years ago
- Fission CLI & server☆119Updated last year
- ☆48Updated last year
- A program for querying and modifying information in a datalog-like format backed by SQLite.☆40Updated 3 years ago
- The Glow language for Blockchain Decentralized Applications.☆60Updated 3 months ago
- UCAN Invocation & Pipelining☆17Updated 4 months ago
- Libp2p bindings for Gerbil☆16Updated 3 years ago
- Awesome datalog libraries, tools and resources☆64Updated 5 years ago
- A TypeScript API client to XTDB☆12Updated 3 years ago
- A pseudo-random deterministic merkle tree built on LMDB☆78Updated 9 months ago
- Engines, queries, and data for dynamic Datalog computation☆132Updated 4 years ago
- A full-stack prototype of a collaborative web application backed by a Datalog-inspired database.☆17Updated 5 years ago
- An SDK for building apps with decentralized identity and storage.☆180Updated 2 years ago
- Thin wrapper around webnative for Elm.☆13Updated 2 years ago
- Extism Plug-in development kit (PDK) for Haskell☆10Updated 8 months ago
- Build UI declaratively with Datalog.☆140Updated 2 years ago
- ☆71Updated 3 years ago
- IPFS Cube will help people deploy and manage their own IPFS pinning services on top of existing cheap hardware, or cloud storage.☆32Updated 7 months ago
- ☆42Updated last year
- A database for convergent intersubjectivity☆21Updated 3 years ago
- A Categorical View of Computation☆34Updated this week
- ☆41Updated last month
- User Controlled Authorization Network (UCAN) Specification☆261Updated last week
- 📄 The Ambients protocol white paper☆45Updated 3 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆83Updated 2 months ago
- The Fission Technical Whitepaper☆22Updated 3 years ago