A replicated key value store that achieves eventual consistency through the use of conflict-free replicated data types (CRDTs). Individual project for the distributed systems graduate course at UBC.
☆12Mar 2, 2021Updated 5 years ago
Alternatives and similar repositories for chevrotain
Users that are interested in chevrotain are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A light-weight library for manual distributed system tracing☆11Feb 2, 2022Updated 4 years ago
- A collaborative machine learning framework that operates through Tor.☆13Jun 1, 2020Updated 6 years ago
- Verify the communication of your microservices by writing contracts for your RPCs☆16Nov 8, 2020Updated 5 years ago
- Go basic utility library with futures, iterators, pubsub programming, ergonomic data types, and pipeline programming. Has no third-party …☆12Updated this week
- PolarDB Cluster Manager is the cluster management component of PolarDB for PostgreSQL, responsible for topology management, high availabi…☆11Oct 19, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Efficient techniques for mining LTL formulae over linear input traces☆18Apr 12, 2023Updated 3 years ago
- Demonstrates how to manage Azure AD B2C users via Microsoft Graph using MSAL.js and MSAL Node.☆13May 17, 2024Updated 2 years ago
- Modbat is a model-based API tester for stateful systems.☆23May 17, 2023Updated 3 years ago
- A fork of http://oss.oracle.com/~mason/seekwatcher/. The repository does not update since 2026-05-10. Moved to https://codeberg.org/trofi…☆14May 10, 2026Updated 5 months ago
- Generate graphs from blktrace runs☆10May 7, 2013Updated 13 years ago
- An LLM-first programming language.☆37Oct 6, 2025Updated last year
- Bayesian inference of linear temporal logic (LTL) specifications to explain differences across two sets of traces☆10Nov 19, 2019Updated 6 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 9 years ago
- A CRDT based collaborative markdown editor.☆16Sep 17, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A minimalist personal blogging system that natively supports Markdown, LaTeX, and code highlighting.☆22Apr 8, 2024Updated 2 years ago
- ☆12Mar 30, 2021Updated 5 years ago
- A Simple Operating System Written by Me for i386-cpu, Created From Scratch☆13Sep 24, 2018Updated 8 years ago
- ICSE2021 Submission☆13Aug 28, 2022Updated 4 years ago
- 2022 ECS CloudBuild Distributed Cache Contest - Final Round https://tianchi.aliyun.com/competition/entrance/531982/introduction☆17Oct 8, 2026Updated 3 weeks ago
- ☆16Aug 4, 2026Updated 3 months ago
- Maybe the tiniest HTTP proxy that also has a cache☆11Dec 19, 2021Updated 4 years ago
- A vector clock implementation for node.js☆14Apr 6, 2014Updated 12 years ago
- ☆11Oct 22, 2020Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- parse-curl.js golang version. Parse curl commands, returning an object representing the request. 解析 curl 命令，返回一个表示请求的对象☆15Jan 12, 2023Updated 3 years ago
- ☆28Jul 17, 2020Updated 6 years ago
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 6 years ago
- Simple starter code for cpsc304 course project☆11Aug 7, 2020Updated 6 years ago
- Zing : An explicit state model checker for concurrent and message passing programs.☆17Dec 1, 2016Updated 9 years ago
- µTune: Auto-Tuned Threading for OLDI Microservices☆14Oct 8, 2018Updated 8 years ago
- A friend can betray you, but an enemy will always stay the same☆13May 1, 2017Updated 9 years ago
- Formal verification agent for design or implementation☆17Nov 18, 2025Updated 11 months ago
- Deep Learning Summer School 2017 @ University of Tehran, Iran☆28Oct 17, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Exception notification for Javascript errors made simple☆11Jul 6, 2021Updated 5 years ago
- Hashicorp Vault HA cluster based on Raft Consensus Algorithm☆15Aug 25, 2021Updated 5 years ago
- zfs-fuse☆13Feb 10, 2019Updated 7 years ago
- A crash course on full-stack software development with Docker, PostgreSQL, Node.js & React that is intended for beginners☆15May 9, 2021Updated 5 years ago
- rwlock with writer priority and optimistic reads☆32Feb 1, 2015Updated 11 years ago
- SHARDS implementation in C.☆19Aug 4, 2018Updated 8 years ago
- Concerns to help managing View Component attributes☆17Aug 2, 2022Updated 4 years ago