convergencelabs / convergence-proto
The Convergence Client-Server Protocol
☆13Updated last year
Alternatives and similar repositories for convergence-proto:
Users that are interested in convergence-proto are comparing it to the libraries listed below
- The Convergence Server☆102Updated 2 years ago
- ☆27Updated 9 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆45Updated 2 years ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- Checkpointing PoW blockchains with HotStuff BFT☆11Updated 3 years ago
- Conflict-free replicated relational database that respects commonly used integrity constraints☆25Updated 2 years ago
- Nonblocking data structures☆12Updated 10 years ago
- Web Native language Workbench with Projectional Web Editor☆69Updated this week
- Sample app demoing using Cloudstate to build a chat application in Node.js☆11Updated 3 years ago
- prime search engine☆15Updated 7 years ago
- Collection of CRDT data structures☆17Updated 8 years ago
- ☆11Updated 6 months ago
- Synthesize CRDTs from classic data types with verified lifting!☆147Updated 11 months ago
- Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Scala-based port of the ori…☆10Updated 8 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated 3 weeks ago
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆22Updated 2 years ago
- A block based Conflict-free Replicated Data Type☆18Updated last year
- Lightning talk about TLA+ for Scala Exchange 2018☆9Updated 5 years ago
- A unified Graph API in Go☆8Updated 2 years ago
- REScala - distributed and reactive programming embedded in OO and FP programs.☆90Updated this week
- Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.☆14Updated last year
- Lockstitch is an incremental, stateful cryptographic primitive for symmetric-key cryptographic operations (e.g. hashing, encryption, mess…☆10Updated last week
- Convert any value to code☆12Updated last year
- Compile-time expression evaluation for Scala 2☆16Updated last month
- TypeDB Drivers for Rust, Python, Java, Node.js, C, C++, and C#.☆46Updated this week
- Pub/Sub built on top of FoundationDB☆14Updated 8 months ago
- Various gRPC benchmarks☆11Updated 2 years ago
- Bitsy Graph Database v3☆141Updated 2 years ago
- Apache Arrow in WebAssembly☆85Updated last year
- SIMD Intrinsics in the JVM☆48Updated 7 years ago